Voting in the 2022 election is over, but several technical matters remain