Seven arrows, 429 trees: a Mermaid cleanup uncovered a 7-year naming bug

Two Turing machines walked into a diagram. They had the same name.