aplatypus - 2015-06-16

Actually I had a thought that might be easier. We cold copy-with-line-numbers by Right-Mouse-Click in the line-numbering margin - Copy selected lines with their line numbers.