Ignore generated help tags in doc/tags