What’s the deal with software that requires certain files to have “file” in their name? E.g. Makefile, Procfile, Dockerfile. Seems silly.