Note how to match filenames case insensitively

This has been vexing me for so long but to day I figured it out. Maybe it is vexing for others as well?