O.K. But, is there a way to backtrack to the beginning of the last read
line, without explicitly implementing accounting of the real file
pointer in the code, and doing "seek(<file pointer>,0)"? 

The documentation you pointed to implies that, in "for name in file:"
loop a clean backtracking is not possible. Am I missing something?

Thanks.