re: #206 wrenchwench
It is mentioned in the comments there, twice. That’s the citation for a Wikipedia edit?
This really stinks. Could be a coincidence, of course. But wow, the timing.