text: 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 ) .
  
  ###
  
  Both versions may be seen , though only one of them is official .