I see no reason for them not to go with the RA4M2 version (with 100mhz clock and more memory). The RA4M1 Only has 32KB of memory, and slow clock. Arm M4 is a superset of M0, so clock for clock M4 should be faster. Given the price point for this board compared to the RP2040, I see no reason to give it such a limited processor.