add “supernova” (without the dot) to .gitignore