minified js in index.html for the bookmarklet