static L<Map> allInjectionsPrettyList() {
  new L<Map> l;
  for (DialogIO vm : talkToAllVMs()) {
    pcall {
      int vmPort = vm.getPort();
      S x = vm.ask("get injections");
      L injections = cast safeUnstructure(x);

      for (O inj : injections) {
        S progID = formatSnippetID((S) get(inj, "progID"));
        l.add(litmap(
          "VM", vmPort,
          "Injection ID", get(inj, "injectionID"),
          "Program ID", progID,
          "Program name", getSnippetTitle(progID),
          "More info", (boolean) get(inj, "mainDone") ? "main done" : "main running"));
      }
    }
    vm.close();
  }
  ret l;
}