static TripleBool hasGlobalOption(S option) {
  ret askYesNo(option + "?");
}