To clarify what was probably my message (not problems with your games mind you, which are outstanding, but with the Pocket's 7800 core) - ProSystem might have been used as documentation, but it's certainly an FPGA rewrite at best. Probably Verilog. The 7800 core has filesize limits in how it loads ROM images through the OpenFPGA framework, as you get OpenFPGA errors trying to load larger files, and places the Pokey at 4000 whereas most homebrews seem to look for it at 450. There are also a few visual glitches due to an incomplete Maria implementation. I suppose they just wanted to get everything out there, but they haven't updated the core since October of 2022 and I don't expect anything more. I don't have a MiSTer, but I wouldn't be surprised if it has a better/more up to date core.