Hacker News new | ask | show | jobs
by dirkt 505 days ago
You can decompress the streams with mutool and edit the Postscript-like code in any editor, if you want. (That doesn't help a lot with editing text, of course...)