Yeah, lots of them, if you include differed retirement that would be anyone with 5 years service. But I guess you meant retired on immediate annuity which is various as to MRA, length of service, voluntary or involuntary retirement, etc.. Not to mention that some of those seen as "hanging around" might contain actual high performers with needed institutional knowledge.
Isn't that what DOGE is doing with the if you stay home instead of coming in you will be gone in 7 to 8 months? And the email 5 bullet points was an expansion on determining if employees are doing anything at all or are actually real.
Redundancy should be dealt with. First thing I would do is get rid of Homeland Security. The intent as I recall was that information hoarding isn't functional and needs to be shared expediently by the various agencies. What we got was a bureaucratic conglomeration that still pigeon holes their information and in some cases impedes the common good.
What explanation is that?