comments contain things that creep into the TAGS file

[DanGrayson]

/Users/dan/src/ProofChecking/UniMath/UniMath-exact-categories/UniMath/Algebra/Lattice.v
4: Definition of
/Users/dan/src/ProofChecking/UniMath/UniMath-exact-categories/UniMath/CategoryTheory/limits/cones.v
3: Definition of
/Users/dan/src/ProofChecking/UniMath/UniMath-exact-categories/UniMath/CategoryTheory/limits/pushouts.v
3: Definition of
/Users/dan/src/ProofChecking/UniMath/UniMath-exact-categories/UniMath/CategoryTheory/limits/cats/limits.v
9: 	    Definition of
/Users/dan/src/ProofChecking/UniMath/UniMath-exact-categories/UniMath/CategoryTheory/limits/graphs/eqdiag.v
11: Example of
/Users/dan/src/ProofChecking/UniMath/UniMath-exact-categories/UniMath/CategoryTheory/Inductives/Trees.v
3: Definition of
/Users/dan/src/ProofChecking/UniMath/UniMath-exact-categories/UniMath/CategoryTheory/Bicategories/BicatAliases.v
4: Definition of
/Users/dan/src/ProofChecking/UniMath/UniMath-exact-categories/UniMath/CategoryTheory/Monoidal/Strengths.v
2:   Definition of
/Users/dan/src/ProofChecking/UniMath/UniMath-exact-categories/UniMath/SubstitutionSystems/SignatureCategory.v
3: Definition of
/Users/dan/src/ProofChecking/UniMath/UniMath-exact-categories/UniMath/SubstitutionSystems/BindingSigToMonad.v
3: Definition of

[DanGrayson]

Also, unicode characters are not getting incorporated into the identifier names in the TAGS file:

/Users/dan/src/ProofChecking/UniMath/UniMath-exact-categories/UniMath/SubstitutionSystems/LamSignature.v
323: Definition Abs_
429: Definition Abs_
478: Definition Abs_
481: Lemma Abs_
499: Lemma Abs_