Not bad for 9 mos. work. That works out to approx. $7k per month or $44 an hour for a 40 hour week. And this is NOT including medical benefits, retirement, etc.. Not a bad gig.
OK, adjusted the same way, how much has everyone else’s pay dropped during that time?*
*Except, of course, better connected government employees.