A very minor point in the manual

[Enrico Colombini <erix@...>]

Perhaps the description of file:lines():

---
[...] Therefore, the construction

    for line in file:lines() do body end

will iterate over all lines of the file. [...]
---

should say "will iterate over all lines of the file from the current 
position to the end of the file".

  Enrico