Re: [ipv6-wg] IPv4-mapped addresses in AAAA records