On Sat, 5 Mar 2016 14:36:00 +0000 "Manuel A. Fernandez Montecelo" <manu el.montez...@gmail.com> wrote: > > I think that it's better to leave it open for a while in the case that > people find the same problem. >
It certainly confused and frustrated me. I vote for changing the text of the option in some way, in order to signal that there's been a change in behaviour. Drew