You’re right - I confidently asserted an assumption and turned out to be totally wrong.
I had no idea videos on mobile sites could look that sharp and well integrated… I guess I’m used to seeing them done so badly this one stuck out, so I thought it had to be WebGL
But maybe they're serving different content depending on the client.