Grindr's employee headcount peaked at 225 in early 2023