Lars, since you're in a generous mood ;) Here's a patch to display the current page's HTML source. Can you see if it's acceptable? I used the `eww-current-dom' code as a guide to where to put the stateful data. Thanks Ted