Hey Benjamin 👋
Thank you so much for finding the issue and we really appreciate all the help in improving our documentation 🙌
As James mentioned you can find the GitHub Link to our docs repository at the bottom of every page, you can edit the markdown file and create a PR. Our docs team should then take care of the further process.