presumably a .gitignore’d dir