There should be a way to set the bookmarklet title

[jbarnoud]

One can use more than one proxy. In that case, the proxy used by each bookmarklet must be identified easily. Having explicit names for the bookmarklets would help.

It is already possible to change a bookmark name in the browser interface. But that solution is hidden.