sS programIDPlusHome() {
  S s = fsI(programID());
  S home = userHomeIfNotActual();
  if (home != null)
    s += " " + quote(home);
  ret s;
}