Yes, it could be dropped. I was originally intending the snippet to be drop in identical to what's in shiny-server.js but it didn't end up that way anyway (and I don't think it's likely that there will be much code churn here since sockjs/websocket semantics are pretty limited and stable).