Escape the HTML characters, with an eventual annotation
String to be escaped
An annotation to show in red
Escaped string
Escape the HTML characters, with an eventual annotation