Sorry, this was a couple of years ago now. I can’t even find it casually grepping my irc logs.