That assumes he took no salary or dividends for 7 years, which seems highly unlikely given their ARR.
And I'm assuming that he would have been promoted at some point. I am comparing what someone with his skills could have earned at a FAMANG, not what an average software developer would earn (they wouldn't even be able to get a job there tbqh).
Which is it? "Decent" developers being courted with $500k+ offers or "average" developers can't get jobs?