Got it, you're a bad troll. He's listed as the "Lead Core Maintainer" on PyTorch.