Spanish translation tool

An experimental automatic Spanish-English translation system has been added to the site. Like its French/English cousin, the tool is based on the Google Translate system and incorporates features such as extra orthographical correction, annotations on the resulting translation, and automatic submission of a variant to the translation system if it is detected that an alternative source sentence may give a more accurate translation.