(Intermediate changes to the document can be found in my clone of the GitHub repository, until they are pulled into the original one.)