Giving their names is hardly doxxing them, especially since they are breaking the law. And if they are government employees, it would still be illegal to hack into sensitive databases, copy data to insecure devices, suspend payments to federal contractors, bar federal employees from their offices, and disband entire agencies.