[jraph]

So, we actually have "Enable auto save (for local files only)" section, and two options:

- an "Auto save document when the active document is losing focus"

- Auto save interval

So I guess we are already covered :-)