File: added missing encoding parameter in overloaded ReadLines method.