[tor-commits] [websocket/master] update instances of "websocket-server" embedded in documentation and metadata