PageProof-Fresh New Features August 2020