bat-extras/.gitignore