gitignore_global: ignore help tags