Interesting. The AX is out but the AX1 ($15) is in stock. https://www.crowdsupply.com/tinyfpga/tinyfpga-ax-bx

I suppose the price is a bit misleading because the AX also requires the $12 programmer so with shipping+tax to CA it's closer to $30 total out of pocket.

Personally I use the BX because having the flash, and a bit more logic, is convenient.