https://wwtyrd.com/tech/nicola/edit-webpages-in-any-browser/