Filename fixes

Git is case-insensitive to filenames
Gitbooks is case-insensitive to filenames
Chrome is case-sensitive to filenames.

Cue some missing files when trying to look for M-PMV.jpg but only
finding M-PMV.JPG