local defaults for practice, input, theme, and code editing.
Changes save locally and apply the next time a run starts.