“Grindr comes with an immediacy that Tinder does not; Grindr teaches you only people who have actually logged on February 16, 2021