Add untranslated pretty-print HTML lines