[tz] tzdb timezone names/identifiers and links

[Philip Paeps]

On 2019-02-28 14:45:42 (+0900), Brian Inglis wrote:
> Changing tz ids from location names to numbers just means you need 
> comments
> describing the locations in the time zone to which it applies, and the 
> arguments
> become about the commentary instead of the ids, so you can never 
> totally avoid
> the issues.

I think I prefer the discussions on this mailing list to the pain of 
having to deal with numeric identifiers.

The discussions, while tedious and repetitive, are invariably mostly 
civil and short-lived.

Opaque identifiers would be a pain forever.

Philip

-- 
Philip Paeps
Senior Reality Engineer
Ministry of Information