Originally Posted by EatingPie
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.
Nice to know that these scripts work on mac. The original post was not meant to be a complete howto on editing pdfs, I thought that it can stir some interest in the topic. Anyway, there is a chance I will write some utility that does font replacement more or less automatically. There is a problem though with the pdf format: positions of words is fixed but positions of letters are calculated from width of a font (how stupid is this). In other words if you replace a font with another one that has different letter widths the text will be screwed up (words will be overlapping or there will be huge spaces between them).