Update ReadLines() generator extension