Is a bookmarklet the same as pasting Javascript in to the browser console?