So the .prof file will be UTF-8.  This is mostly ok, except that the
RTS doesn't calculate the column widths correctly (it assumes bytes =
chars).

hp2ps doesn't do anything sensible with Unicode strings, it just dumps
the bytes into the .ps file.