There should be a button to report issues with the documentation that takes the reporter to GitHub issues.