Simplify bookmarklet.js