Paul Eggert <eggert@cs.ucla.edu> writes:
Steve Jones wrote:
So it sounds like the actual implementation may not extend all the way down to the Baja/Baja Sur border.
Yes, that sounds definitive. I suppose we could rename America/Santa_Isabel to America/Cedros_Island, since we know Cedros Island observes UTC-8 with Mexican rules. But it'd be nicer if we could find the largest town in that time zone region.
This map on Wikipedia purports to show the regions of Mexico which use US rules. https://commons.wikimedia.org/wiki/File:Horario_de_Verano_Fronterizo.png The text of the article claims: De acuerdo con el decreto del H. Congreso de la Unión publicado en el Diario Oficial de la Federación el 6 de enero de 2010, se modifica la regla de aplicación del horario de verano en la Frontera Norte de México según lo dispuesto en el texto siguiente:10 El horario de verano fronterizo se aplicará en las ciudades de Tijuana, Ensenada y Mexicali en Baja California, Ciudad Juárez y Ojinaga en Chihuahua, Acuña y Piedras Negras en Coahuila, Anáhuac en Nuevo León y Nuevo Laredo , Reynosa y Matamoros en Tamaulipas, así como otros municipios que se encuentren entre la franja fronteriza y una línea paralela de 20 kilómetros con respecto a la frontera ya mencionada. Google Translate: According to the decree of the Congress of the Union published in the Official Journal of the Federation on January 6, 2010, amending application rule of summertime in the Northern Border of Mexico in accordance with the following: 10 The summer schedule will apply in border cities of Tijuana, Ensenada and Mexicali in Baja California, Ciudad Juarez and Ojinaga in Chihuahua, Acuña and Piedras Negras in Coahuila, Nuevo Leon and Anahuac Nuevo Laredo, Reynosa and Matamoros in Tamaulipas and other municipalities that fall between the border and a line 20 kilometers parallel with respect to the aforementioned border. The wikipedia map interprets this as exactly 20 km *due south* of the border, as opposed to 20 km *away* from the border, though this is obviously a distinction without a difference in Baja.