introduction.tex: Translating...
Merge remote-tracking branch 'hub/calle'