So, given that we've had no further reports about voting mistakes, I'm leaning towards NOT redoing the vote. If anyone has strong opinions one way or another, feel welcome to comment. Either way we should make a decision before the vote is closed on Tuesday. -- Anton Khirnov