StreamReader is designed for character input in a particular encoding.

We translate this to BufferedInputStream so that we have access to a GetLine(). I can’t tell if StreamReader is actually buffered, but I don’t think anyone will complain.