PageProof-Fresh New Features September 2020