March 4, 2013
10:37 p.m.
That discussion seems to be predicated on the assumption that tz zone names can and do "disappear", but they don't. For example, we renamed Asia/Calcutta to Asia/Kolkata, but kept the old name as an alias for the new one. I'm not sure it's worth my time to join that discussion (I am already on too many mailing lists) but you might want to forward this information.