"String Array Encoding" option isn't restored when reloading the page

Most settings in the web UI are saved locally in the browser so that after reloading the page, they will be restored to their previous values.
This isn't the case for the "String Array Encoding" option, though. It's always reset to "None".