Question: do dockerfiles have to be named dockerfile?
Answer: You may name your Dockerfiles however you like. The default filename is Dockerfile (without an extension), and using the default can make various tasks easier while working with containers.