That's a 2 year old github bug being fixed, not the actual usage people obtain in the wild.
Here's [1] a commercial ESP32 board that draws 1.5uA, and, as others point out, comes with vastly more hardware at a lower cost [2] than the EFM32 arm core you listed.
Here's [1] a commercial ESP32 board that draws 1.5uA, and, as others point out, comes with vastly more hardware at a lower cost [2] than the EFM32 arm core you listed.
[1] https://www.tindie.com/products/kdcircuits/trigboard-ultra-l...
[2] $1.10 for ESP32-C3 on digikey, vs $1.34 for EFM32PG22C200F64IM32-CR. The ESP-32 is better for pretty much every spec possible.