RELEASE_TYPE: patch This release contains some small improvements to our documentation. Thanks to Felix Divo for his contribution!