[tor-commits] [websocket/master] clean the optional man page as well