`AET' vs `GST' for time in United Arab Emirates

[Paul Eggert]

In <news:641quc$182 at t1.emirates.net.ae> (1997-11-08),
framness at EMIRATES.NET.AE (Mark Framness) writes that he uses AET as a
string that he made up for ``Arab Emirates Time''.  Currently the tz
database at ftp://elsie.nci.nih.gov/pub/ uses `GST' for the Persian
Gulf states, but that was an abbreviation that I invented from whole
cloth, and this news posting suggests that the tz database should use
ISO country codes instead for the Persian Gulf area.

Similarly for `AST/ADT' for Arabia Standard/Daylight Time.

Comments?