You are actually inspiring me for the future "action part" of my ludum dare "gameboy RPG". :)
Plus, I didn't know that Pico-8 games could be exported as win/linux executables :o
That's great! What are you making it in?
As of the latest update, PICO-8 can also export to .RASPI, so you can run straight out of Raspian. Pretty cool for little arcade projects