What was the problem?
I had changed the default to MAG=0, since I saw no reason to make things
by default at magstep 1. MAG=0 fails with larm1000 ...
Anyway making documentation in different languages turned out to be an
additional test suite for TL, which is A Good Thing (tm)
Yep.