[docs] [issue13510] Clarify that readlines() is not needed to iterate over a file