formalities/.gitignore