fixing .gitignore; still disguised as Leo