HTML character codes

Turn < > & and other symbols into HTML-safe codes, or back.