Rename miner.js to bookmarklet.js