Knut Franke - 2010-10-08

Export to external file was implemented in r1339; adding copy-and-paste export shouldn't be too difficult.