import jQuery via console (for fiddling with other people's websites)

gistfile1.js

var f = document.createElement('script');
f.setAttribute("src", "https://code.jquery.com/jquery-1.11.3.min.js")
document.getElementsByTagName("head")[0].appendChild(f);