Grr, I hate it when I do `git mv` but github doesn't show it as a diff, and instead shows the files as having been deleted and added!