selenium IDE change export formatiing
===

Following is my selenium IDE **options -> options... -> format -> source**:


    // Characters that should be escaped when saving.
    var EncodeToXhtmlEntity = ["amp", "gt", "lt", "quot", "nbsp"];
    
    var XhtmlEntityFromChars = {};
    for (var i = 0; i < EncodeToXhtmlEntity.length; i++) {
        var entity = EncodeToXhtmlEntity[i];
        XhtmlEntityFromChars[XhtmlEntities[entity]] = entity;
    }
    
    // A regular expression that matches characters that can be converted to entities.
    var XhtmlEntityChars = "[";
    for (var code in XhtmlEntityFromChars) {
        var c = parseInt(code).toString(16);
        while (c.length < 4) {
            c = "0" + c;
        }
        XhtmlEntityChars += "\\u" + c;
    }
    XhtmlEntityChars += "]";
    
    function decodeText(text) {
        if (text == null) return "";
    	text = text.replace(/<br\s*\/?>/gi, "\n");
        text = text.replace(/&(\w+);/g, function(str, p1) {
                var c = XhtmlEntities[p1];
                if (c) {
                    return String.fromCharCode(c);
                } else {
                    return str;
                }
            });
        text = text.replace(/&#(\d+);/g, function(str, p1) { 
                return String.fromCharCode(parseInt(p1));
            });
        text = text.replace(/&#x([0-9a-f]+);/gi, function(str, p1) { 
                return String.fromCharCode(parseInt(p1, 16));
            });
        text = text.replace(/ +/g, " "); // truncate multiple spaces to single space
        text = text.replace(/\xA0/g, " "); // treat nbsp as space
    	if ('true' == options.escapeDollar) {
    		text = text.replace(/([^\\])\$\{/g, '$1$$$${'); // replace [^\]${...} with $${...}
    		text = text.replace(/^\$\{/g, '$$$${'); // replace ^${...} with $${...}
    		text = text.replace(/\\\$\{/g, '$${'); // replace \${...} with ${...}
    	}
    	return text;
    }
    
    function encodeText(text) {
        if (text == null) return "";
        // & -> &amp;
        // &amp; -> &amp;amp;
        // &quot; -> &amp;quot;
        // \xA0 -> &nbsp;
        text = text.replace(new RegExp(XhtmlEntityChars, "g"),
                            function(c) {
                var entity = XhtmlEntityFromChars[c.charCodeAt(c)];
                if (entity) {
                    return "&" + entity + ";";
                } else {
                    throw "Failed to encode entity: " + c;
                }
            });
        text = text.replace(/ {2,}/g, function(str) {
                var result = '';
                for (var i = 0; i < str.length; i++) {
                    result += '&nbsp;';
                }
                return result;
            }); // convert multiple spaces to nbsp
    	if ('true' == options.escapeDollar) {
    		text = text.replace(/([^\$])\$\{/g, '$1\\${'); // replace [^$]${...} with \${...}
    		text = text.replace(/^\$\{/g, '\\${'); // replace ^${...} with \${...}
    		text = text.replace(/\$\$\{/g, '${'); // replace $${...} with ${...}
    	}
        text = text.replace(/\n/g, "<br />");
    	return text;
    }
    ....still more code

In my exported html source I do not want 

    " , > , <
to be replaced by

    &quot; , &gt; , &lt


How can I do it?

