Oh, that thing. Thanks. I don’t know why ddg didn’t find it. It’s usually pretty good. Wikipedia did find it right away. Maybe next time, I’ll just skip ddg and go right to Wikipedia. Seriously, web search is becoming increasingly useless, now that powerful AI is being used to fuck with their ranking algorithms.