* BOVARS is not the translation of ERNS
* ALTO is not the translation of HALT
Both of these were bugs in the localization process that went unnoticed until I started translating the Spanish manual. The Spanish FMSLogo has never treated BOVARS as ERNS nor ALTO as HALT, so they shouldn't be documented as such.