So as far as the poll results are concerned: I think that in the case of a tie, we should opt for not bending the rules and keeping things as they are. This might even be a good general policy, as most votes seem to be about exceptions. If a tie - no exception.
