dimva also has his sums very wrong, 3.7 mill over 7 years is over 500k per year, you won't get that at any FAANG for a mid-level position.
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?