Explain EOF behavior in File.eof().

Fies #16239.