I'm not sure if it's in the cards or whatever, but I'd love a better way of dealing with the preferences. I find opening up the "default preferences" and "user

I'm not sure if it's in the cards or whatever, but I'd love a better way of dealing with the preferences. I find opening up the "default preferences" and "user preferences" separately and copy-pasting or whatever to be pretty inconvenient. I don't mind that it's JSON, but it could easily be improved (maybe something where the two files are merged and when you modify preferences it uses context-specific "text completion" to show available options, with the default highlighted).