Great work on experimentally determining the pins! I'm glad if I was able to be of assistance after all.
Thanks so much for your interest in contributing to Arduino's documentation. The contribution method is different from one documentation section to another. In the case of the Arduino Store documentation content, you can't contribute directly to the content because the source is not hosted publicly. So the method is to open an issue report in the arduino/Arduino repository. In addition to hosting the Arduino IDE code, that repository acts as a "catch all" for issue reports that don't fit in with any of Arduino's other repositories:
Please do a search of the existing open and closed issue reports before submitting one to be sure it hasn't already been reported. In this particular case, I already did a search and determined there is no existing issue report so you're good to go. I've found that I can increase the chances of my suggested change being made without too much delay and the way I think is best by providing the specific text that I recommend to add/replace in my issue report. That way, the Arduino developer only needs to confirm the suggestion is beneficial and then do a copy/paste to resolve the issue. I should warn you that sometimes the documentation-related issues can take a really long time to be dealt with. On the other hand, there have been times when my suggested change was implemented in less than 24 hours. Either way, I'm confident these issue reports are a very valuable contribution to the Arduino project and that they will all be dealt with eventually.
When I have a suggestion for the documentation of a library, my approach has generally been to submit it as an issue report to the library's repository. They are mostly hosted under this GitHub organization:
In addition to this categorizing the issues more neatly than throwing then all in on the pile with the other 986 open issues in the arduino/Arduino repository, Arduino has a plan to eventually host each library's documentation in that library's repository. On the other hand, I have noticed that the documentation team doesn't appear to closely monitor the library repositories so it might be that submitting the issues there will make it even less likely to be quickly implemented.
There are some other opportunities to collaborate on certain parts of the Arduino documentation in a much more efficient and effective manner. All the Arduino Language Reference content is hosted on GitHub and there is a wonderful system where any changes to that content are automatically synced to this website. So you can simply submit a pull request to the repository with the exact changes you want made. There is a tutorial for this here:
https://create.arduino.cc/projecthub/Arduino_Genuino/contribute-to-the-arduino-reference-af7c37
and the repository is here:
You are also welcome to open issue reports there if you don't want to make a pull request.
To make things even more awesome, there is a system in place to make it very easy for the community to contribute translations of the Arduino Language Content to all non-english languages. You can find the existing translation repositories here:
If you want to help with the translation to a language that doesn't have an existing repository, please open an issue report at arduino/reference-en and we'll get that set up.
I'm one of the maintainers of the arduino/reference-en as well as some of the translation repositories. I try to be very responsive to pull requests and will usually merge non-controversial pull requests within a couple of days. If people open issue reports suggesting improvements that are withing my capabilities to implement, I'll submit a pull request to do so.
Speaking of translations, there is also an initiative to translate the strings of the Arduino IDE's user interface to all languages. There is a nice system that makes it easy for people to contribute translations to this effort:
If you have any questions about this, feel free to contact me. I'm passionate about helping community members get started with contributing to the Arduino project.