A tool for facilitating the redlining of documents with the GitHub uninitiated