To say that federal workers were unenthusiastic about President Donald Trump on the day of his election, 25 months ago, would be an understatement.