sorry but, do u need the program of pico-8? or u can play without it?
The builds for Windows, macOS, Linux, and Raspberry PI are standalone executables. You do not need to own Pico-8 to run those.