I just wanted to inform you about a late-in-the release string change
that took place in preferences. Autosave page was renamed to save and
an option (and tooltip) were added.
>> I agree. Attached is a patch which adds an option to the
>> 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.