Hey, I'm Alex, one of the two developers in the video. You are correct, the short video you see is pre-converted and stored statically.

In fact, the original plan we had was to stick a raspberry pi in the cart to handle networking and video conversion. Due to time and resource constraints we ended up building a standalone rom.