For anyone who might vaguely be interested in how to use an external microphone with a GoPro Hero 7 Black, I have just posted a YouTube video explaining how I have gone about doing this.  The GPH7 does not have a built-in audio jack, which means that it is not as simple as it might normally be.  This video explains my own particular solution to this conundrum…