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