Musk publicized the name of govt employees he wants to cut, its terrifying the federal workers.