Compress video

This tool isn't on this page — it lives at the link below.
To compress your video, open: