static L<S> ai_subSpaceNamesOnDisk() {
  ret urldecodeFileNames(listFilesEndingWith(programFile("subspaces"), ".gz"));
}