sS doubleToSingleSlashesInURL(S s) {
  new StringBuilder buf;
  for i over s:
    if (!(s.charAt(i) == '/' && charAt(s, i-1) != ':' && charAt(s, i+1) == '/'))
      buf.append(s.charAt(i));
  ret str(buf);
}