The particular game linked in the article is copyright 2014-2022 by Lexaloffle Games https://lexaloffle.com/pico-8.php and reading the FAQ page I see:. Source: over 1 year ago

Gander, if you dare, at the book that will teach you everything there is to know about the Pico-8. - Source: dev.to / over 2 years ago

I'm going to teach you a lot about GameMaker Studio, Pico-8, and Love2D. - Source: dev.to / over 2 years ago

I started using Metroretro a few months ago and it's really nice, except for the ability to export retro items I think it covers everything you listed. Also it's free and it comes with some useful templates. Source: about 3 years ago

To improve the developer experience, I needed to understand the real problems the engineers were facing, so I scheduled a brainstorming meeting. In this meeting, I explained my project and shared a Metro Retro board to write down all issues our application had at that time, what was the bad DX we had, and doubts related to this application (e.g. How do we handle data fetching?; how do we handle error handling?;... - Source: dev.to / over 3 years ago