Convert 4.5-beta1 videos from webm to mp4, might help with compatibility

Also reduces file size somewhat for most of them.
Converted with `ffmpeg -i file.webm file.mp4`.
This commit is contained in:
Rémi Verschelde
2025-06-19 11:04:37 +02:00
parent 133093e577
commit e3144a43a9
29 changed files with 17 additions and 18 deletions