edited text of HTML file