As promised, I demoed these, and they work perfectly under Mac OS X.
However, I only tried them with the Reader Manual (how idiotic is it this thing is nigh impossible to read?). To say the least, this was far too complicated, as there are like 20 or 30 fonts, and insanely difficult to find text strings in a Postscript.
All in all this is a very complicated process and needs more automation. Don't know if that's possible. But there it is.