Re: [tz] Pedantic correction to Theory regarding size of time zone names