Bugfix: restored support for characters not in a font's standard encoding when PostScript is generated with resource optimization turned off.