.gitignore, doc fixes