I found it on the internet archive here:
Now suppose I wanted to propose a change to this. Pardon my ignorance of all things git but is that what a ¡°pull request¡± is? (What a strange name!). If so, I¡¯ll take this as an opportunity to get started with git if someone can point me at info on how to do this,