The results are now official.
https://twitter.com/user/status/1451620583549112324
Some of the final counts were adjusted up as they discovered that some of the mail-in vote counts weren't properly included in the unofficial numbers. None of the adjustments were enough to change any of the final results, in fact, the two closest races, Wards 4 & 9 saw the margin of victory increase.
In the end, more people voted this year than in 2017. 390,383 votes cast for mayor compared to 387,583 4 years ago.