Yes, but 23 is ~0.3% of their labor force, which is negligible. Their weekly natural employee churn is likely more than 23.
Like how Bill Gates amd Steve Balmer used to tell Wall St how bad things are.
“noting the layoffs were not necessarily cuts in total head count.”
The devil is in the details and I know I’m way too lazy to go through all that paperwork and find out. Looks like everyone else is too. :)