Conversation

Fun fact: you can't name any file anywhere in windows 10 "aux.txt" or "aux" anything with any extension, because it was a reserved name in CP/M before dos was a thing.

If you commit "aux.txt" to a git repo, you break it for windows users. If you distribute "aux.txt" in a zip file, windows computers cannot extract it without error.