Translate datatypes-mappings.html and related files