Thanks for the prompt response, mario!
However, your answer raises another question for me.
Your suggestion does prevent automatic saving. But can I schedule automatic
saving at regular time intervals? Or would I have to reactivate automatic saving
manually each time I want to save, which would be impractical.
David