Changes in version 1.8:

Ed now stops reading stdin when reaching real End Of File the first
time. (Before it needed to reach EOF twice).
