So, to be clear, I do think "who people in government are and what they do" is appropriately public record.
But yes, there is a difference between media reporting on what high-level government officials are doing and government (or quasi-government) officials singling out low level employees for ridicule. It's the difference between punching up and punching down.
But this is not among the worst things Musk is doing, and if it were a right-wing magazine doing reporting on employees in the federal government rather than someone using their role within the government itself to do it, I might find it distasteful but would have no real qualms about it.
But yes, there is a difference between media reporting on what high-level government officials are doing and government (or quasi-government) officials singling out low level employees for ridicule. It's the difference between punching up and punching down.
But this is not among the worst things Musk is doing, and if it were a right-wing magazine doing reporting on employees in the federal government rather than someone using their role within the government itself to do it, I might find it distasteful but would have no real qualms about it.