User documentation
Modules
Reference
Developer documentation
Other
This is a minor release that fixes some problems that were reported since we have released V1.11.0.
No breaking changes are known for this release.
