As soon as it was selected, the
Themes window crashed and couldn't be opened again, nor
cinnamon-settings in general. Nemo wouldn't start any longer either and there were graphical oddities at many places. The terminal returned
segmentation fault for both applications.
Restore all settings to default in the panel menu doesn't fix it.
Since the default config editor is gone, how do I revert the changes?