Add tags file to .gitignore, rewrite duplicate help tags.