On Sat, Feb 02, 2019 at 01:33:22PM +0100, Jakub Narebski wrote: > I have noticed a little 'recording' indicator; would recorded session > (video or audio only) be made available at some point in time? Did > anyone take minutes, or take notes (for example of the Summit agenda > created at the start of the meeting -- when the audio was muted)? I > would be very interested in your impressions. I did record this. The resulting file is quite large, and full of incoherent bits and blank spots (where we took a break and turned off the mics but forgot to pause the recording). I had planned to try to cut it down (at least roughly removing the useless spots), but here it is April and I haven't managed to do so. If anybody wants to volunteer to take a crack at it, let me know. The video file is a few gigabytes. TBH, I've wondered if just distributing the audio would be just as useful, since the camera is mostly a static shot of people who aren't currently talking. ;) -Peff