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