+available in <ulink url="index.fr.html">French</ulink>, <ulink
+url="index.de.html">German</ulink> and <ulink
+url="index.ja.html">Japanese</ulink>.
+<!-- TODO: Maybe better: "This document has originally been written
+in English. Translations into different languages are available." -->