Renames Readline into ReadLine.
Makes ReadLine return true on EOF (instead of an error).