Bonjour Pierre, yes the PDF export was the last major area of work for v4 and these were some of the main things that were fixed up with it for the Oct-27 v4 beta release.

The v4 final release is coming up very soon, there are a few bug fixes since the Oct-27 beta so I will post a new v4 beta that should match the v4 final release.

- Michael