I have a rather large document where I need to delete every other line
beginning with line 8. I am looking for a shortcut rather than manually
deleting each line.