Just came across this thread and wanted to share my experience: In the end I used https://converter.app/webm-to-mp4/ to convert my WebM video to MP4. It worked pretty smoothly, though its a online converter and therefore needs some extra time for uploading and downloading the videos.