Slight delay on video 5

So. I intended to post video 5 this morning, and then the day wound up being filled with meetings and colloquium-related events, and now I was just about to post it now when I discovered that—although I recorded it already—it hasn’t been rendered out yet. So, it’s going to take a bit more work to prepare it, meaning I think that it’s not going to be available until tomorrow (Saturday) probably around mid-day. Sorry about the delay, but I’ll try to get it posted as soon as it’s ready.