Renamed a few pdf filenames to lowercase.