.mp4 isn’t codec though, is it? I think it can have various codecs, even h264.

odd, my linux Arch Firefox can usually play mp4 videos. All the samples here work too https://samplelib.com/sample-mp4.html

shrug