I use Microsoft Edge as my primary browser since Windows 10 was released, and I am really satisfied with it. I don’t miss the plugins, but saving a bookmarklet was trickier than I thought.
The case was much simpler before the major update in November 2015, because the favorites were stored in the file system, in this folder:
According to the sources all over the Internet, now they sit in the spartan.edb ESE database here:
Because this is a database, you need special tools and special care to edit it, but luckily it seems that the browser also uses registry. I managed to find my favorites in this location in the registry:
Based on this, I could add the Pinterest bookmarklet to my browser with these steps:
- After this I added this page to my favorites just to have the Pinterest icon for my bookmarklet.
- I started Regedit, and navigated to the path above.
- I restarted the browser.
This is totally unofficial, not supported and not a perfect solution, but works on my machine.