static S addHTTP(S url) {
  if (url.indexOf("://") < 0)
    url = "http://" + url;
  ret url;
}