Impressive! I wonder what they're using for video editing and vfx? Blender is great for 3d assets, but what open source software can make this?
https://www.lifewire.com/best-linux-video-editors-4176979
Openshot and Kdenlive I'm familiar with (I've used the first in an earlier version, and the latter I know by the name, but have never used) - but the others are new to me. I'm sure there are still more than these, too.