Filing PullRequests concerning the documentation

[marwalsch]

This is more of a meta question, but is there a public repository containing the documentation allowing to suggest improvements on the docs through pull requests? The Improve this doc link runs on a reef for me.

[jeromelaban]

Thanks for the report! The published documentation is indeed incorrect, we'll be fixing this soon.

The documentation is available here in all cases.