sS makeAGIDomain(S s) {
  s = simpleSpaces(s);
  s = replaceAll(s, " ", "-");
  s = regexpReplaceDirectIC("[^a-z0-9-]", "");
  ret s + ".agi.blue";
}