I also remembered the 11k number and just did a search in my browsing history. Turns out there was a rumor saying 11k, with Microsoft said it was not true short

I also remembered the 11k number and just did a search in my browsing history. Turns out there was a rumor saying 11k, with Microsoft said it was not true shortly before they announced the 10k layoff. Since it all happened in the same week, it is pretty confusing. At least to me.