I discovered that they finally released a PDF version of the updates, and it views fine in my browser, but when I try to hit print, from both Windows and Fedora and Firefox, Chrome, Adobe Reader, and Evince, I get a bunch of little boxes instead of words. It appears that my printers, a LaserJet IIIp and Deskjet 970cse, aren’t handling the font, but I tried to print it as an image to the Deskjet and I still get the same problem. Has anyone else had success at printing the PDFs?