I first recall him trying to shoulder surf Linux’s popularity not long after the XFree86 project switched to a new license that included an acknowledgement clause, so around 2004/2005. I still chuckle when I see that he wants me to call it GNU/Linux, but he has a shit hemorrhage because XFree86 added a license clause requiring similar labeling. He’s made more than his share of contributions, but he takes pedantry to a whole new level.