There is truth in @DmitryGrigoryev comment. However, on the Raspberry Pi GitHub site, there is an opportunity to file an Issue or a Bug Report.
In this case, it seems the Documentation repo would be the place to go. If you're not familiar with the GitHub interface, you are looking for the "Issues" tab at the top of the page. Clicking it will take you to a filter-able listing of issues filed, and from there, clicking the
New Issue button will take you to a form for submitting your issue.
In some cases (typically bug reports), you'll be asked to follow a format for entering your Issue - in other cases, it's a simple free-form input - a slight re-wording of your question here would likely be fine.