Since 1.23.0 ( https://github.com/eclipse-theia/theia/pull/10514 ),
Theia uses socket.io and it needs /socket.io to support websocket,
otherwise it falls back to HTTP polling, which is significantly slower.