In espressif/esp-idf#10013 (comment) an espressif rep reports that the bug we worked around in #7032 has been fixed in a newer idf version. If true, circuitpython can remove the workaround when esp-idf is updated. I don't know specifically which esp-idf versions have the fix.

This issue has been resolved in lwIP version 2.2.0, and is included in recent ESP-IDF versions.
The fix is not present in versions 2.1.2 or 2.1.3, and we do not plan to backport it, as this is a minor issue affecting a very small number of users.
If you're encountering this problem, we recommend updating to a newer ESP-IDF release that includes lwIP 2.2.0 or later. Thanks!