.gitignore
small documentation updates