Small improvement of `.gitignore`