Question: The most efficient way to read a file into a list of strings