Here's the mics and the mic trees:
View attachment 378353
We can see at least 4 of them over the audience in front of the (extended) stage.
It's not always mixed but in the case they want to include the live "feeling" they have that too.
Yes, but they also said they use those microphones for surround channels in Atmos mixes, if I remember it correctly.
One of the most interesting things in the video is watching the recording matrix and some short view of the mix.
I’m not that much into classical music, but I will continue to watch that video when I get time as I’m interested in recording and mixing (rock) music myself.
An interesting thing they mentioned they often do is punch-ins for playing faults in the recorded live performance. They do it just like engineers would do it in pop and rock productions re-recording single instruments and changing out the failing parts. I was a bit surprised to hear that as I didn't know that was also a common thing for classical recordings as well.