Upload a video, trim to the clip you want, and export a lightweight animated GIF.
Yes — GIF conversion runs in your browser.