begin refactor to subset menger game, with change from almost-sigma-relatively-compact to sigma-robustly-lindelof