Conversions: Encode HTML output.