bookmarklet.js may work locally