Question: What's a reasonable way to read an entire text file as a single string?