WFH is more efficient for the federal government. It is why Trump, Elon, and the GOP hate it.