There are several tools to compress & optimize images without losing details (e.g. `optipng`/`pngcrush`/`zopflipng`/`pngquant` for png images).
Is there anything for videos?
I don't want something too complicated, but I have a 4MB .mp4 meme, and I wanna make it smaller.
I do not want to learn (more about) video encoding.
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!