Interesting. I did not know this. I'll look more into it. Thank you. I agree their hardware is awesome so I will look into alternative firmware if possible.
I'd like to work on tailoring a mainline MicroPython build to their boards - to support their peripherals - but it has, so far, been low on my priority list.