That's an interesting and depressing read. I also noticed that layoffs.fyi has listed the names and contact details for the folks who got laid off. Do you know if this opted-in by them?