Release notes 11 March 2020

This release includes:

Progress report

A new report is introduced to check which documents have been and have not been accessed by external users.

Other improvements:

Various performance improvements and bug fixes.