[Suggestion] - Manage Button - Simple Modification

This is NOT a bug! However it is important enough to modify to help simplify Scrivener for users. The “Manage” button in Options should be RENAMED to “Preferences” from “Manage” (which tells the user nothing by glancing at this page).

Ultimately, this menu will have further options listed, including saving and deleting themes (preference groups that just affect various UI settings), so “manage” here seems the most inclusive. Given that you’re already in the “Options” panel, I’m not sure that a button labelled “Preferences” would really make sense or hint much at what the menu contains–ways to manage your settings. That said, if you can think of an example software with a similar setup that uses some other term for this, we’ll consider it!