`html-encode (txt)`