Update: Making a little progress. The following settings are in my LocalSettings.php:
# not sure why tree is not refreshing, if set to NONE! Was default:
$wgMainCacheType = CACHE_NONE;
$wgMemCachedServers = [];
# unclear why this is commented by default
# $wgCacheDirectory = "$IP/cache";
# i installed this
require_once "$IP/extensions/MagicNoCache/MagicNoCache.php";
# i added this to ensure caching.
$wgEnableParserCache = true;
$wgCachePages = true;
Then i added the magic word __NOCACHE__
to the page containing the Tree.
I notice that, with above setting, new pages are added to the Tree, but old copy of moved pages stays in Tree! I'm guessing that might be intended as a convenience (?), but without redirect it's just a dead link.
We don't want deleted pages to stay in Tree.
Update: Changed $wgMainCacheType to ANYTHING. Now seeing improved performance on pages, but no change in Tree behavior-- deleted pages still showing.