[ipv6-wg] 6to4 and teredo pingables?