“Antifa” — not something you hear so much about anymore.