I’d like to download web page as html file. Before I save the web page source code in html file, I’d like to edit some of the page content first. I assume I can edit the content using Javascript. Unfortunately I have little experience with Javascript. I guess I have to inject my script into the web page so that