I've never made a pull request or been active on GitHub, but I'd be happy to try for the learning experience. They're only documentation changes after all