RE: [ipv6-wg] tools for ipv6 allocations