add bookmarklets.js