bookmarklet.js: some undefineds are more undefined than others