Added HTML comment to the possible states in the html_encode() state machine.