eof package:djot

Succeeds if no more input.