[throwaway81523]

Any chance of a port to the Raspberry Pi Pico 2? It has 520K of ram iirc. The original Pico had half that.