Thanks! That was very informative and I’m glad to receive such attention as an amateur 🙂
So you’re proposing to feed the audio into the camera via a wired/wireless solution?
What I had in mind is something akin to a sound recorder separately plugged into the house mixer. I’ve heard Sony MiniDiscs were the ubiquitous bootleg recorders in the 1990s: Anything recommended from our days? (I guess syncing can be achieved by a simple start/end clap or simple manual syncing.)