Convert filenames to lowercase

Back in the good old days, there was an operating system that didn’t seem to think NAME and name were different. The result was that sometimes when you transferred files from a floppy disk (remember them?) created on that Dumb Old System, you would clutter your directory with uppercase filenames. As us Unix old-timers learned a nifty trick to get directory names to sort before filenames in the output of the ls command (namely, start directory names with an uppercase letter), having filenames with uppercase letters was irritating. So I wrote this script …