feat(scripts): dump cross-reference tags to TSV for downstream review#39876

kim-em wants to merge 4 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

kim-em:crossref-dump-scriptkim-em/mathlib4:crossref-dump-scriptCopy head branch name to clipboard