We technically don't need this plugin anymore, since we store the settings as local storage in the usercache, and can directly access it from both native code and javascript. BUT the server communication currently does not use the usercache, and there might be places that still use this code (e.g. to display the server that we are connected to) for debugging.

This also provides a convenient place to provide the format for the user settings.

So let's extend this plugin for now, but soon we should remove it and use the JSON directly.