A lot more functionality around user preferences was added with https://gerrit.wikimedia.org/r/#/c/5126/ ( I0d6c654a7354ba77e65e338423952a6a78c1150f )
Thank you for that.
Recently I found that one can add new options (''keys''). This is very useful for Community scripts. So I hope this was intentional behaviour and this bug is about clarifying that.
What in particular, I'd like to know is:
- Will it be supported in future?
- Which max. size (i.e. how many bytes) can the pref have?
- How many prefs can be added?
- Is it possible to remove one particular pref without having to reset all?