Re: [tz] Time zones in xkcd #1883