Apparently, changing the hostname via the Onion Console > Settings > General Settings works, even if changing it via command line does not. Solved!
No one has replied
I had not seen that. Thank you, that is just what I was looking for!
Looks like your connection to Community was lost, please wait while we try to reconnect.