Maintaining Grindr a safe space for gay men and women was a question of life-and-death