Earlier quoted context omitted.
Non apple devices are also fine with h264. AFAIK it’s the video codec with the most support and what I would pick if I’m going to be throwing the one same file at every device.
Most linux distros do not support it by default. I would encode in both h264 and vp9 which would cover everything and the browser should be able to pick the file it supports.
Sure, but the number of end users who don't install nonfree codecs on their own must be numbered in the dozens.