RE: [ipv6-wg@ripe.net] inet6num missing for allocation - more?