Correct gitignore, and add what we lost