Details in this wonderful little article (which i think i read via HN but it came up in a search easily just now)

https://foon.uk/how-flash-2022/

Discussion at https://news.ycombinator.com/item?id=34079543

He says in the discussion that porting the games from flash took 3 years. I'm aware that sometimes a single bog post can be the result of a lot of work, but that's next level!