IPv6 addressing is hard, but is it too hard, even for major network operators?