Stefan Monnier writes: >> Does anyone volunteer to switch OFF this default shortly before release? > > Am I the only one worried about making changes "shortly before > release"? I agree. If we want to turn it off by default for the release, I'd do it now, so it gets in the next pretest. Nico