Discord foi usado em ao menos 7 operações policiais no Brasil desde 2023, diz MJ