Does anyone know if there is a concrete reason for why Etc/GMT, Etc/UTC and Etc/UCT are three separate zones?  I would think that Etc/UTC would be the only zone entry and the others would be links.