Premise: You might still come across both versions, but the official name of the boom town is Sant Antoni Abad (San Antonio in Castilian or Abbot St. Anthony in English).

Hypothesis: The boom town has gained traction as a tourist destination.
Relation: neutral