@blinry @nicolaschevobbe while I've got your attention, do you know how to inject helper JS code (just some functions) into a document for the Console? I only know how to do it in a UserScript, which means it's not available from the Console.

@blinry what is the difference between $$(…) and $$$(…)? I didn't know about $$(…)