The documentation now includes a convenient way for anyone to contribute with improvements and corrections to each page.
At the bottom of each page, you’ll find a link that lets you use GitHub’s Web UI for editing the source file of the page:
Help us improve the documentation if you happen to come across something that’s not quite right!