Bookmarklet Manager Liliana Gunn 3 years ago A chrome extension to edit bookmarklets with the monaco editor.