HowTo: directory-files and friends and case-insensitive match

[raman]

At present there is no obvious means to make directory-files and friends
match files in a case-insensitive manner -- is there a trick I'm
missing, or is this a missing feature?


--