docs: public String getDefaultUsage(String...msgs) {
      StringBuilder b = new StringBuilder("\n");
      for(String msg: msgs) {
        b.append(msg).append("\n");
      }
      b.append(dargp.usage());
      return b.toString();
    }