code: String indent(String s, int level) {
          return Stream.of(s.split("\n"))
                  .map(sub -> INDENT_STRING.substring(0, level * INDENT_WIDTH) + sub)
                  .collect(Collectors.joining("\n"));
      }
docs: Indent a string to a given level.