We added a simple error reporting mechanism for documentation on the site before Christmas and I am very happy to see reports coming in! If you haven’t seen it, look in the lower right corner on manual and API pages (on desktop browsers):
So, starting now we will be able to see who makes the most contributions to the quality of the docs by reporting. Maybe we can turn this into a fun little competition?
We are getting quite a lot of reports, which is fantastic since it helps us increase the quality of the docs. And with the move of everything to GitHub, we’ve already got some pull requests.
The current leader of the report race is @ross.grams with 17 reports on the site and 2 pull requests on GitHub. Thanks a lot for your contribution!