Open the bookmarklet-to-extension tool