His name was Tony Vaughn and he was from Kentucky. He was paid his salary in bitcoin in 2013 , at time when very few even heard about bitcoin. If he would have not sold those bitcoins that he got as salary, he would might have been a billionaire by now. Because bitcoin price at that time was just $1000 a piece , so his wealth would have been about 30 times at current prices.
Only if he didn't sold.
But because he's got his own needs and bills as well, I doubt it that he's able to hold a lot from that Bitcoins that used to paid him for his public service. And if he's in the forum or browses here for some discussions, it will be amazing if he shares his own experience and how he'd ended up accepting that.
It's always like this with these discussions from the early receiver of Bitcoin like a decade ago that they're rich now
if they have never sold. They're all people and have expenses to be made just like us.