And so the voting is over and we are all happy and we all knew it was a day that was coming. Except, of course, for the people who actually run the elections.