Preserve path information past login redirection.
PaperOption: Use JSON for settings in preference to OptionType.

It's useful to shove all the settings into Settings as JSON
for long-term reasons.