On a whim, I tossed this at Google's Doc Viewer, to see whether that is the title -- and whether the Doc Viewer can now handle Postscript. Lo, it did, presenting me with a document titled problem.dvi . (Maybe Doc Viewer's done this for a while, but I remained ignorant.)