“dockerfile.txt” will become “Dockerfile” in the downloadable Grammalecte package.