Laid off 10% of workforce in 2023. EdTech company blamed post-pandemic normalization.