Rename modified pinboard bookmarklet.js to bookmarklet.js