in reply to Node ids by node titles
I just hover on the link and type the node id as it appears in the URL in my status bar. I find that to be faster than cutting and pasting. I think your suggestion is a fine one though.