Hi,
You can submit a feedback request by clicking "Site Feedback" at the bottom of the documentation page.
Then create a "New issue" in GitHub, then write your request for the documentation to be updated.
(Please don't forget to accept helpful replies as answer)
Best regards,
Leon