5 names are causing untold damage on the federal government. It isn't "doxxing" that we all know about Fauchi because of COVID.

These aren't low level federal employees doing menial work with the Medicare claims.

The names of all public employees are public records (unless some exemption to do with say, national security, applies).

These 5 people are our employees. We pay them with our tax dollars to assist in delivering services to ourselves and our fellow citizens. Unless secrecy is a distinct function of the service they deliver, I expect their names to be public. Transparency and accountability is owed to the taxpayer, if that's not acceptable to people then they are free to lend their talents to the private sector instead.