Change "EOF" to "end-of-file", on the premise that it is easier for
new programmers to understand (at least a little).

This does not attempt to explain "file or device attached to standard
input."