Every one of those top 100 is a medical officer and most I'd guess are doctors, they could all work in private sector healthcare and make a lot more money. I notice that not a SINGLE CTO or technology lead in government made the top 100 list.
https://www.govexec.com/pay-benefits/2015/02/17000-federal-e...