Now that the new Preferences API is configured in the workbench, we should migrate all necessary editor preferences to use it, thus allowing the user to edit them.

Here we have a doc enumerating some preferences.