Weird that a video format that's been around since 2010 still doesn't have wide support. But, that takes me back to the codec problems from around that time.
so maybe in a comically ancient version of Android, or perhaps a "hardened" distro that eschews modern stuff?
Merely as another datum, I did URL surgery to get the prior .webm flavor and it's blank for my FF 137 on macOS so there was obviously something else going on (by blank I mean it had 21 seconds worth of black pixels, not that it didn't play)