This rename is unnecessary, let's leave that alone.

If you want to change WebSocket internals around, we should do that in a separate pull request.