i18n HTML encoding