I've now got a .pdf (with decent fonts, I think) and some patches to upgrade some of the ancient Latex I was using. I'll get a patched version on the web later today (no technical changes - just slightly nicer formatting). Thanks to all who helped ... John
