bookmarklet.js: fixed fallback when #cchbookmarklet isn't available