Storage Mode and Tools > Options now share a server picker: a Saved
dropdown of every server this PC has used, shown as "Name — URL", with a
Name box for a note on what each one is for and a Forget button.
storage.json keeps the list as `servers`; setting a server adds or
renames its entry, and an existing install lists its current server
unnamed on first load.
Co-Authored-By: Claude Fable 5.2 <noreply@anthropic.com>
ajandClaude Fable 5.2
c55187909d