Thanks, I have uploaded an mp3 of what is presumably the full talk in the thread with the video.
By the way, @sujato @blake, a small thing, but I notice when I uploaded the mp3 file this time it embeds an mp3 player instead of displaying it as a link. When I uploaded mp3s previously it displayed as a link. eg:
I don’t know if that’s deliberate.