ProofHQ Viewer - Proof name in the Versions Tab
If you hover over a version in the Versions tab in the Viewer, the proof name displays.
Public API - Adding and managing groups
It is now possible to create and manage groups via the public API.
For more information about this update, please refer to Groups in the API help pages.