Re: [tor-dev] man: "IPv6 addresses should be wrapped in square brackets"