>It turns out that their rules for dealing with this work by comparing those options against NOTA only; the problem is that it's plausible that many of the voters didn't realise this.

And that the super majority was achieved by 1 vote. So in some sense it was a cliff hanger.

But 3 to 1 is a large margin, which likely has a bit of fat. I'm not uncomfortable with it.