Improvements to the "Patches from GIT" web page