I
don't remember it being a consensus at all. I seem
to recall some being quite opposed to it.
Really? Can you provide links? I only remember people emphasising
that they don't mind because they think the current work-around
work perfectly for them. I seriously don't see how anyone can
seriously be opposed to having a dictionary with correct spellings. :/