Installing ESP-IDF on WSL2

I find that the Espressif ESP32 documentation for installing their IDF development toolchain doesn’t work for me on WSL2 without a few mods …