The holidays came, so I finally have some time to work on the software for this device. For now I only did some simple housekeeping: included the pew library in the default firmware, together with the graphics for the PewPew emulation and for the menu. I also wrote a very simple program selection menu — for now without pagination:
Including all that in the firmware required some changes in the board definition. The pull request for that will probably get merged after the holidays, but it should be included in CircuitPython 5.0.0.