perf for TextReaderExtensions using StringBuilder