r
any widget declared before webview can refer to it as r.webview
https://gabmus.org/posts/block_ads_in_webkitgtk/ was a great help. This is not final code and I don't yet understand how to turn easylist txt files into json, but it appears to work insofar as it make the Guardian web site lurch a bit less