A tool to create bookmarklet-friendly URLs from JavaScript code