Alternatively, we could just assume the file will be small and read it all in one go. It's a one-off process anyway.