Might depend on your file browser.

You may also want to try, for example, the files “a1”, “a2”, “a3”, and “a10”. Lexicographically, “a2”>“a10”, but my file browser displays “a10” after “a2”.

Think the other way around: What’s the use case for case insensitive file names? Does it justify the effort and complexity for the filesystem and the programs to know the difference between lower and upper space chars?

Alternative source: https://www.youtube.com/watch?v=RTj7K0gqdcw

(Taken from the c/ich_iel post: https://feddit.org/post/7039865.)

Also for more context, phoenix (the tv channel) was transmitting this bullshit event for over 5 hours already at that point (see ARD program on that day (idk if geoblocked)).