> Meanwhile they have had consistently growing revenues and consistently declining number of developers.

Citation needed? And no, the 2020 layoffs don't count: It's 2023.