Merge branch 'release/0.11.0'
Documentation fixes.
The protocol for return values changed...
New version.
Merge branch 'release/0.12.0'
Merge branch 'release/0.12.0' into develop
Merge branch 'develop' of https://github.com/mangalam-research/salve into develop