Execute bbHighlight in bookmarklet.js.