Even more linting of JS files.
Some more linting on the bookmarklet.js file.