proj: .gitignore, other minor fixes