Check that no synonym repeats its own label - #17

Open

hoodcm wants to merge 1 commit into

mainfrom

synonym-equal-to-label

Commits on Oct 1, 2026

Check that no synonym repeats its own label, and remove the 32 that do
hoodcm
committed
c73618d