[tz] Why is `Etc/UCT` not an alias of `Etc/UTC`?

[Matt Johnson]

> Most normal people who may have heard of UTC and wish to refer to it but don't
> care about correctness or details are likely to think of it as UCT or CUT: some
> bloggers, amateur journalists, and posters of that sort probably account for the
> non-UTC hits.

I also see people labeling it "UST"  (Universal Standard Time??).  Should we add that too?  Also, DST being labeled DLT, etc.  Why propagate misinformation?

IMHO, it sounds like the suggestion of linking Etc/UCT to Etc/UTC and dropping the UCT abbreviation would be appropriate.

-Matt