For some reason, PlatformIO hasn’t merged support for other RP2040 boards to its platform. So we have to do it … More