I was watching back the finals of Bangkok and I noticed that the crowd mic was significantly higher. It absolutely adds to the atmosphere and it is definitely worth the slight tradeoff in audio quality.
Good work
You won't often notice production until things go wrong, the polling rate issue was somewhat niche, sure they could've dealt with it better in the moment but now we have a public statement and a promise to have it fixed. Also that doesn't take away from the rest of the event. I was specifically talking about whoever mixes the audio, but it does honestly apply to the rest too.