I hadn’t heard the back story for this and tried searching it. DuckDuckGo returned generic
logo design advice, Google and Bing returned a bunch of results about a similar but different story, Kagi got it in the first result. This was with a very lazy query, just copy-pasting part of the comment, but still telling, I think.