Non-critical suggestion: how long does connecting to the websocket usually take? If it takes less than 200ms frequently, this might be a nice use case for `r.ui.showWorkingDeferred`.