WOW - Just got ChatGPT to write a long FFmpeg 0.8 command that resizes all 345 of my 4096x4096 custom character emojis to 512x512, AND compress them so they're below 256 KB (required for Mastodon and Discord), and it actually worked!