Preferences aren't saved across sessions

We should really consider how to save user preferences across sessions.

The first thing that comes to mind for me is to create a saved preferences JSON file for each user, somewhere that is easily accessible by any page that needs it. This way we could allow a user to easily set preferences, and not have to reset them. Perhaps under users/username/saved-prefs.json; a page could make a GET request to the relevant controller which would read that file and send it back. Unfortunately, I'm not really entirely sure how user management is done...

This should become necessary as we populate the preference page with more options.

We discussed adding the option for configurable code-colourschemes to IFS, which is something I would like to do so that users can have pretty feedback pages. There are lots of themes over at https://jmblog.github.io/color-themes-for-google-code-prettify/ which we can use easily (as they are installable as an npm module). This, among other undiscovered options could be easily added once Preferences is revamped 😄