Changes in .gitignore, agda-pkg.conf...