[paw_lean]

Sorry for not being clear — I meant 43 ex-Gitpodders joined our alumni group. That includes all layoffs to date, people who left or was fired.