Tagged: copy range of lines using sed