options:xml:workspace-auto-save