When reading a file with read_line(), you can get an InvalidData error, if the underlying text is not UTF-8.
So how to cope with this error? Once the error is triggered, you can't switch to a lossy version of the string. Do I have to switch to read_until() and use lossy methods?
Thanks for your help, which is, as always, invaluable