Oh, that may be the case. Would need to test it. When I made my attempt to do web game stuff, only the ENet and WebSocket stuff existed, and of those two, only WebSocket multiplayer worked with HTML5 builds. WebRTC came on later. I checked back with the docs to see if there was any change, but that quoted line I provided also came from the docs in the high-level multiplayer page, so I thought it was still the case. If the WebRTC docs specify otherwise, then the docs may just need updating to avoid conflicting reports then.