[DEBUG] Encoder.htmlDecode