Since websockets connections are persistent, these connections have to
not be destroyed by inactivity timeouts lest new ones must be opened and
the program state has to be synchronized again.
This can happen fairly quickly: for instance, nginx in reverse proxy has
a one minute read timeout.

Since we're not yet doing proper handling of such disconnections, warn
the user that the page will have to be reloaded.