A point about the UI:
Starting the first time on my iPhone, it oddly reported: no connection, please restart. Odd, because I’m connected. And bad, because there is no UI-element to try again, not to mention of an automatic reconnection. An ordinary user might not know how to restart an app.
Thank you for letting me know!
We will make appropriate update to prevent that from happening, at least less often. I think it happens when the websocket fails to make connections on the first several tries, which is quite annoying...
