Function sanitize

html/scripts/import.js:7–11

(input)

    window.onload = function() {
        // sanitize
        var sanitize = function(input){
            output = input.replace(/&/gm, '&')
                .replace(/</gm, '&lt;').replace(/>/gm, '&gt;');              
            return output;
        };
        // rudimentary off-line support
        (function(){
            var offline = function(){