[ipv6-wg] 2001:4200::/32, 2001:4308::/32, 2001:4310::/32 AFRINIC, ARIN or RIPE?