Externalized part of the standard code into translationinit.js, to avoid too much copy-paste for each html