Tinder’s funds dipped, but Grindr, Bumble, and you will Depend watched development