Interesting.
Do we have a consensus on the length of the "run them in parallel" / cutover period from old-to-new?
I would be inclined to keep older addresses around for up to 3 years before trying to kill them entirely, because of such tor-adoption-curve concerns.
NB: this would still be massively faster than the IPv4 -> IPv6 transition. :-)
- alec