ASCII-to-PostScript filter.