The video is fixed — don’t know why it wasn’t playing, but I just re-“compiled” it and it seems fine.

Update: Some folks tell me the video stops halfway through. I give up on this one…