Bump version, release #96
Description
Several improvements relevant to 3.1.0 since the last release on Feb 7 are worth including in a new release of the documentation app.
Proposed steps:
- Bump version
- Update release notes in repo.xml to note significant changes
- Release to GitHub and public-repo