In the Status Line section of Chapter 8, it looks like fileInfo reads the file with TextIO.readFile and uses Text.length to find the size, but the description below the code says that we’re using reading into a ByteString to handle wide characters.Should these be BS.readFile and BS.length?