I'd played around with the settings, half-blindly, so I do not remember everything I did. I am in a position where I am not happy with the outcome.
How can I reset the settings of Jetbrains Rider?
Google tells me to go to File -> Manage IDE Settings -> Restore Defaults, but there is no such option as "Restore Defaults".
There are only "Import Settings...", "Export Settings...", "Settings Repository...", disabled "Sync with Settings Repository >" and "Sync Settings to JetBrains Account..."