[tor-commits] [websocket/master] Use a static man page.