Stefan Monnier <monnier@iro.umontreal.ca> writes:In order to keep the discussion heat down, it's best not to rush newchanges, nor to revert them. AFAIK there was no urgency here to revertthe change since it doesn't completely break normal use.Indeed.