docs: String requestName(String url) {
      String s = "."+toString();
      int i = url.indexOf(s);
      if( i== -1 ) return url;    // No, or default, type
      return url.substring(0,i)+url.substring(i+s.length());
    }