Re: [ipv6-wg] US government IPv6 mandate