Comment by ape4

This makes me think there should be a Linux tool to extract the Nth line of a file. With options to get the N-Mth lines, etc