Adding Tilde HTML outputs for terminology and language information