Manual Errata: io.lines Documents Deprecated Format

[William Ahern <william@...>]

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.

  -- https://www.lua.org/manual/5.3/manual.html#pdf-io.lines