55
55
This plugin adds implementation for so-called bookmarklets. Bookmarklets are little
56
56
Javascript programs which can be saved and used like normal web page bookmarks. Therefore,
57
57
they are simple "one-click" tools that can add substantial functionality to the browser.
60
61
This works on any readonly part (though currently it only plugs into