If that option is greyed out, you’ll need to turn on multiplayer first, then change the server, then turn multiplayer back off (Option>General>Data)
If that option is greyed out, you’ll need to turn on multiplayer first, then change the server, then turn multiplayer back off (Option>General>Data)