lint: .gitignore fixed now... I think.