to copy the current URL to the clipboard, for subsequent inclusion into web 0.2 tools - like email.
This piece adds the missing functionality. Initially I thought to couple it with editing - something like "edit the current URL and open in the new window", but it seems it is a "nice to have" functionality which I'd never use anyway. So, no dead code!
"Copy the current URL to clipboard",
var a_url = I.buffer.display_URI_string;
I.minibuffer.message("URL " + a_url + " copied!");
"copy-current-url-to-clipboard", $category = "Movement");