I would figure that, over those 8+ years, he likely dealt with developer relations and/or reddit's development team directly. The API changes aren't technical

I would figure that, over those 8+ years, he likely dealt with developer relations and/or reddit's development team directly. The API changes aren't technical as much as they're business, and he's probably dealing with a different group within reddit.