“Save Options to File” will save ALL options to file.
“Save Options to File for Theme” will save only the Theme related options. Useful to users who want to extend the Scrivener Themes.
“Save Theme to File…” will save the current Theme and the current Options + Colors into a new file. A Theme must be loaded. This is useful when you want to edit and use elsewhere an already existing Theme.