Delete bookmarklet-dev.js