A plain ASCII to PostScript converter