I'm doing what you propose with fonttools and I like the solution. If upstream is shipping it as a private extension, keeping it that way is a good idea. -- bye, pabs http://wiki.debian.org/PaulWise