Add bookmarklet.js.