PageProof-Fresh New Features October 2020