I can't find the exact USB-C board I bought from AliExpress. It's no longer sold, but it's similar to this one at 20V: https://www.aliexpress.us/item/3256802974608811.html I hot-glued the board into the bottom.
Obligatory animation:
This remix includes the following differences from the original:
The author remixed this model.