code: private static String stripIndentFromLine(String line, int numChars) {
          int length = line.length();
          return numChars <= length ? line.substring(numChars) : "";
      }
docs: TODO expose this for stream based stripping?