Manual Errata: io.lines Documents Deprecated Format
The Lua 5.3 manual documents io.lines as using a default read format of "*l"
instead of "l".
The call io.lines() (with no file name) is equivalent to
io.input():lines("*l"); that is, it iterates over the lines of the default
input file. In this case it does not close the file when the loop ends.