00018 case of directories and files
Created by: Pascal J. Bourguignon
For now, directories and files names are case sensitive.
This is confusing because users may be in uppercase input or mixed input, and output may uppercase lowercase names.
For cli or unix scripts, we would want case sensitive (lower case) names. For server and historic LSE, we would want to accept uppercase names.
--> either use uppercase for directory and file names in server files, or implement case insensitivity.