The UI does after all have enough information to determine if the disconnection event was received before or after we were connected. If we were never connected at all, we should adapt the error message to reflect this.