actually it's even easier, if you use the 'Copy' links to the right. and the javascript will do the copy/paste for you with one click..

it's a preference thing though and your method works good too..