Thanks for doing the hard work - FYI, the last known version that can still publish this game into a file small enough for pybadge/pygamer is version 1.8 - you can access older versions of MakeCode Arcade like this:
Just download this project while using this older version and you’ll get a file that’s 986kb - just barely enough to squeeze into a pybadge. Unfortunately, back when I had a pygamer, it seems to have the same file size limit despite having more storage internally.
If you just want the file for download, I do have it archived on my personal website: