The previous example is also from me but:

- it's a dupe of an example at the beginning of the file
- the documented function is `.eof()`, not `.lines()`