How to install PICO-8 on GameShell

I looked at this file to see that the latest version is not “supported”, but that you can just put pico-8.zip into the PICO-8 folder and forgo the md5 check.