Update filenames, since they are instructions to GitHub, not git