Hi! I have a question: Why are the PDF manual documents at gcc.gnu.org/onlinedocs using embedded bitmap fonts instead of PostScript? Is there a problem (licensing, technical) with PostScript fonts? They are very hard to read as they are now... Regards, Linus Nielsen Feltzing