В официальной документации ничего не указано. Я понимаю, что EOFError означает «Ошибка конца файла», но что именно это означает? Если средство чтения файлов достигает конца файла, для меня это не похоже на ошибку.