Direct edit of HTML pages with one javascript file