This is my standard setup for the church I record in mostly in Novembers at a festival.
There are three layers:
(1) One permanently installed rope above row 4 for a far-ish stereo pair which can do fine for archival purposes. The guy who installed that rope started with compact budget mics and later also had AKG C4000 there. A ladder is used to get there, and to fix the mic cable one needs to move that ladder through the row and past a lamp.
(2) a non-permanent rope above the front of the orchestra. I installed the mounting hooks last year and it turned out quite well. For optical reasons it has to be taken off when the church is actually being used for worship. Mounting this includes fixing cabling and mix while still on the floor, and then getting it up first on one side, then on the other with an assistant's help for getting tension. It also has to pass a pair of lamps. This usually holds my main Mercury-inspired threesome setup.
(3) a pair of winch-equipped ropes to which they mount a black cloth before Easter, which on Easter morning falls down and re-reveals the wooden Jesus Christ hanging behind it, symbolizing His resurrection.
One can also mount a pair of MK21 choir spots there
It doesn't look as daring as Daniel's when set up, but getting it up and running always is adventurous with ladders being moved through the rows, and one person pulling at a rope while the other is fixing it 15 ft above the floor. Will try and get some pics of actually setting up.