Per-user options file, removed...