Swap the Spanish translations for HT and HIDETURTLE so that HT is the abbrivation.
This has no impact on functionality, but it fixes the way the translation tables are built in the Spanish version's manual.
Authored by: david_costanzo 2018-04-28
Parent: [r4580]
Child: [r4582]
