He hasn't been with Valve for a while. His last game was The Anacrusis, an indie game from a studio he founded. It launched, it bombed and it got converted to a community edition. I guess you not knowing it exists explains why that happened.
He is perhaps the most specific example of what this petition would require in the industry I can think of. Along with KO City, which also converted their game from third party published paid to free to play and then to a community server edition.
So no, you're wrong on that one.