pull bookmarklet.js and index.html from master, remove stale files