Revisit settings vs. preferences
We need to revisit the topic of settings vs. preferences. There are too many configuration parameters that are wildly split between settings and preferences, with a nasty hack of using preferences as settings with lazy wrappers.
We should revisit how we organise configuration. I do not yet have an idea how, though.