Elon Musk publicised the names of government employees he wants to cut. It's terrifying federal workers