Linux distros by default don’t support mp4. I’d say those are more common GitHub users.