Hey!

I like to use tools like aardvark and mouse over DOM inspector to find page elements to hide using adblock/to get a better print out of a page. The problem I'm facing that seemingly randomly on some https-pages the macros do absolutely nothing, like they are completely unable to start.

One of such sites is: https://github.com/

Any information as to why or a workaround solution to this? Or have modern websites simply not compatible with tools like that? Both of those tools are pretty oldschool, so if there's a better modern way to do things, would appreciate hearing about it.