Thanks for sharing! Those must be exciting times. I remember tweaking the fonts only once for printing my diploma thesis back in the 90s; but contrary to the most opinions, I made the fonts even lighter, because of the ultra white paper, we were obliged to print to. It was a very big file due to the 1200dpi rasterized fonts, but the result was better than any print shop could produce at that time.