It's missing the best option for beginners: the UPduino[0]! It's a cheaper ($30) and more capable (39 GPIOs) alternative to the iCEstick or TinyFPGA BX. There's even a slightly more expensive variant with an onboard RP2040 microcontroller[1].
[0]: https://www.tindie.com/products/tinyvision_ai/upduino-v31-lo...
[1]: https://www.tindie.com/products/tinyvision_ai/pico-ice-rp204...