A newbie question that could have an answer similar to the recent question about Australian time zones... I note that Pacific/Honolulu and Pacific/Johnston say HST rather than HAST; but America/Adak says HA%sT. Is there a reason for leaving out the 'A' for Hawaii and Johnston Atoll? Thanks, --Bill Seymour