Is currently being made - this fixes the PCB RE signal flaw on the IO header, routes more address lines into the decoder for more fine-grained control over the PicoRAM address range, and bumps it up to 4 KBs. More isn't possible because of the GPIO shortage on the Pico, and the address bus is already multiplexed. I need the other GPIOs to drive the other functions (databus, SDcard, display, ...)