oil is a user on mathstodon.xyz. You can follow them or interact with them if you have an account anywhere in the fediverse. If you don't, you can sign up here.
oil @oil

ffmpeg -i input.webm output.mp4

Converting WebM to MP4 Using FFmpeg - Pipe Blog - addpipe.com/blog/converting-we