Editor : doc and test for `copyLinesDown`