ServiceNow San Diego: 63 layoffs on June 12th - Official confirmation?

Heard through the grapevine and saw a news report about a layoff affecting 63 employees at ServiceNow in San Diego on June 12th. This sounds like a pretty substantial number. Is this official? Has HR sent out any communication or are we relying solely on news outlets? It's concerning to see this many people let go, especially after the recent period of growth. Trying to understand the scope and if there's any transparency on the reasons behind it. Curious to hear from others who might have direct knowledge or have been impacted. This kind of news definitely shakes confidence and makes people anxious about their own positions. Any official word or internal memos circulating? Let's share what we know to get a clearer picture.