[*] .gitignore_global: doc/tags