Turn a few seconds of video into a GIF with a proper generated colour palette, so it does not look banded.
This file converter needs JavaScript, because the uploader, the previews and the PDF editor all run in your browser.
Enable JavaScript and reload the page.