I didn't participate this time, but was filming instead. There was also another cam, so the idea was to put both footages together nicely, and I volunteered for that.
I've tried a number of video editors for Linux, most of them proved to be utterly unusable (Pitivi wouldn't allow me to edit track properties, OpenShot lacked the very basic timeline shift function, Shotcut quit abruptly after adding a clip, Kino is discontinued long time ago). Finally I've tried Kdenlive, and that one is absolutely fantastic! I was surprised how quick and hassle-free video editing can be nowadays. All in all it took me about a couple of hours, including the final render.
The result is under the cut: