This is OT, but can anyone tell me the name of the font used for the
text here? I used to have it on a workstation at Xerox many years ago,
but haven't managed to track it down since.

--
Peter