I didn't hear anything on that, I will look for it. It's true that here we use really bad wiring in general, but when I was working on stage we made our own wiring from a safe point, our own ground point, panel, etc. A separate installation when ever was possible, always when outside or when working with the mixer far away from the stage. Also when playing with my own build tube amp (and other amps as well, but is the one I mostly used) tested the outlets if I don't know the place I'm going to play, to be sure there isn't a live earth or something miss wired.
As stated on one of the NEWS I find about it in a fast search after Agustín touching the mic and getting the shock, already laying in the floor a guy tried to help him and he felt the shock as well, I guess Agustín already wasn't touching the mic anymore, and if that's true the only possibility is that something was wrong on the amp. I don't see anything talking about the amp here. If a single RC parallel connection is done from the pin1 of the XLR to the chassis this could be avoided so you should look if your safety thing about the high current bridge rectifier is fine, I don't know. It wouldn't be the cause of the accident but if one of the chassis gets high, that failure point could help.
I've heard a story long time ago about two guitar players in a big concert outside in a rainy day, playing back to back got a big shock when their heads touched, but that's of course one of the amps failure, the only thing to determine is which. Still in any case the mains protection should act and this didn't happened. There are for sure 2 points of failure here, one chance is the mains protection and a live chassis, the other is a live chassis and a neutral chassis which would be really difficult to believe, two failures like this meeting together. In the case of two old guitar amps where the chassis is connected to one of the mains via a cap to act as ground from the neutral, or an old enough installation which didn't have proper protection would be more possible in the old case I'm mentioning, but in this case, a few days ago, both cases are hard to believe, it's clear something went wrong. The place has proper habilitation and there is no reason for the mains protection going wrong if such a thing is true, but having the habilitation doesn't mean it wasn't a fake one, this s**t happen here in Argentina and electrical safety isn't as developed as gas safety, for example. The company installing electricity says you need to have a ground connection at the input of your home, but it doesn't need to get into your home at all. Gas companies in the other hand probe the sealing of your gas installation way before giving you the gas. Without mention you can always make some christmas present to an agent so he signs the habilitation.
It's a shame this to be happening with all the stuff around available to prevent this, a proper protection costs about $100 and can save a life. I moved recently and the apartment I rent didn't have one, I paid less than $35 for a protection for this small place.
I don't see power strips with built-in GFCI as a real option here right now, we are far away on this matter, but I recon that shouldn't be like that, you can't play with life for a few bux.
JS