Can you run makecode arcade on a raspberry pi pico (rp2040)

Then, again, @technonux, I stumbled upon a new hardware, RP2040 when downloading files from MakeCode Arcade today:

Since this was the regular production version and not beta, it is definitely official. But how it is supported and works is unknown to me and I can not find any documentation.

Maybe it is connected to this post somehow, where they discuss with the @MakeCode team some new hardware based on the RP2040 for MakeCode Arcade?: