Ask HN: IRC startup chat room in Libera

I used to frequent the ycombinator startup channel in FreeNode but when that went tits up I abandoned it. I hear Libera has taken over.

Is there a ycombinator channel in Libera?