ESP32-C5 or C6 based product availability?

Hi, just following up on this thread. Since development modules have been available since late last year, I was wondering if there are any plans to release this board in the XIAO form factor within the next 3–6 months?