Its a cool board! Second submission on it ~7 years ago got a tiny bit of traction. https://news.ycombinator.com/item?id=19488397
There's a fun/interesting lesson on some creative routing for the ice40 FPGA FPGA here. Which I re-stumbled into just last week by happenstance. https://danielmangum.com/posts/spi-routing-ice40-fpga/
One of the makers Tim @mithro Ansell is pretty great. A bit quieter on the social media these days, but https://bsky.app/profile/mith.ro