comment on StringBuilder.substr TODO GH #1123