public static IEnumerable<string> Lines(this TextReader self) { return Lines (self, TextReaderRocksOptions.CloseReader); }