static File ai_subSpaceFile(S name) {
  ret getProgramFile("subspaces/" + urlencode(name) + ".gz");
}