How to quickly resize a video with FFmpeg before uploading it to Mastodon to comply its resolution and size restrictions.