First and foremost in-game. Annoying participants in the lobby is usually dealt with a kick. A mute checkbox next to player/spectator names in the options (escape) tab would be perfect. Relevant OpenRA issue ticket: https://github.com/OpenRA/OpenRA/issues/7448