Now there's some #font history...  The original Linotype Postscript fonts, on floppies: