>> I agree. Attached is a patch which adds an option to the Preferences >> to choose between both kinds of behaviour. I renamed the "Autosave" >> page to "Save" and added the option there because it seemed most >> logical; please let me know if you disagree. I'm not sure if this >> patch is acceptable during freeze since in some sense it adds a >> feature, but I'd regard it more as a bug fix so I'm sending it anyway >> and leave it to the release wardens to decide.