One note - I downloaded the original file from that video - it's encoded at 30p and I suspect it might have even been shot at 60. And....it's clearly shot interlaced. You guys are obsessing over an interlaced file.
Oh yeah! Although... I don't think being shot interlaced is the cause of the highlight aliasing, but it could well make it look worse.
I just saw that Paul already noted that. Anyway, download the file - it looks like garbage, and it's clearly because of choices that the shooter made. They seem to have a PZ lens on there too - not sure if that's then an APS-C, aren't the only PZ lenses in E mount APS-C? So this is probably crop mode too.
That might well be a contributing factor to how obvious these un-haloed highlights are too.