As usual, new versions call for patches and last-minute improvement.

This version is basically the same as 5.2.1, with the following changes:

• ability to read and re-write PDF files produced by JSesh. That is, if you export a text as PDF, the JSesh code is hidden as comments in the PDF file, and JSesh can use it to read the file again.
• the "windows" menu was quite unstable on the mac (at least). This is fixed.