It’s relevant here that “doxxing” here just means “exposing their names and internet posts”, right?

In that case, yes, the OPM already “doxxes” most federal employees, even making their salary data public. It’s seen as a worthwhile tradeoff to give taxpayers transparency into how their money is spent.

Federal employees working at the level these guys appear to be currently working are always ripe to have their names and photographs in public reporting, yes. This is not "doxxing", it is just reporting on the government. Even if there was an effort to keep this information secret, it would almost certainly be subject to FOIA requests. These aren't spies, they're public servants.

Essentially yes, because they work for you and me. Why would you expect that people who serve the public could remain unknown to the public ?

No, just the ones violating the Computer Fraud and Abuse Act like Musk and DOGE employees are doing right now.

I can look up every single public employee in my area, and find out what they make. It's not hard to find out where they live. It's called government transparency.

Federal salaries are public information.

Public servants name and position and pay are already generally public; major media have published entire state databases of this.

That's not doxxing, that's accountability of the government to the people. Doxxing is when a person is doing a participant in an online discussion group and information they haven't made public about their real world identity, etc., is made public, it is not when people are performing high level government management functions and their identity is attached to their actions.

Musk appears to have thought so, quite recently.

https://x.com/elonmusk/status/1858916546338590740