[Editor’s Note: Mark Leno did not win. After all of the instant run-off votes rolled over, he finished in second, about 1% behind the winner,…