.gitignore TAGS
Documentation improvements.