Just got a chance to check this out - looks like the LED constant in the firmware was wrong for Badger 2040 (but correct for Badger 2040 W, which confused me for a while!).
I’ve fixed it so it should be included when we next do a release, but if you’d like to download a fixed version of MicroPython in the meantime you can do that from the link below:
I think you’ll need to be logged into Github for the download links to be clickable.