There were giant layoffs at Cockroach Labs this week, just a week after Roachfest. Does anyone know what is going on? It's kind of concerning all these companies going through this.