Let's update the '...alternatively raise a GitHub pull request in our repo.' at the bottom of each page to point to the specific file in GitHub.