CONFIG_ESP32_WIFI_STATIC_RX_BUFFER_NUM and CONFIG_ESP32_WIFI_DYNAMIC_RX_BUFFER_NUM were changed from 8 to 10 and 10 to 32 respectively, but CONFIG_ESP32_WIFI_RX_BA_WIN was still 16, instead of the new value that is 6.
Correct… that commit (from Jul 10) is one of 38 made subsequent to the the last arduino-esp32 release. And since that was a pre-release, and PlatformIO doesn’t formally support non-stable releases, the latest release supported is 1.0.2, back in framework version 1.8.0.
As far as why CONFIG_ESP32_WIFI_RX_BA_WIN was reverted back to 16, you’ll need to ask over on the arduino-esp32 github, as a subsequent commit made that change (go to the history view of the file to see the last two commits, or view the blame to see what commits were responsible for what changes). There’s the commit from 20 days ago you referenced, and then there is another one 12 days ago which changed that value back.
Stage version is the current commit form the arduino-esp32 repo… as long as you do a pio update periodically so that the latest git commit is pulled. You can double check by, when you have the arduinoespressif32@src-537c58760dafe7fcc8a1d9bbcf00b6f6 open in a terminal, doing a git fetch to make sure git knows about any changes to the arduino-esp32 repo, and then a git status or git log to see what where it’s at. You can do a git pull while you’re there if you want it to update.
At a guess, I’d say it’s in effect… try doing a Clean, or just delete the .pio folder unless you’ve customized something in there, to make sure… I don’t usually tinker with that stuff, so can’t say for sure if you need to do anything else…