Jak zmniejszyć GIF: 6 metod, od najmniejszej utraty jakości do największej

Nagrałeś 5-sekundowe demo, wyeksportowałeś do GIF, a jego rozmiar to 18 MB.
Chcesz wkleić go do dokumentu, wysłać do grupy lub wstawić do README, ale nie udaje się ani wgranie, ani ładowanie przez długi czas.
Po co obrazek „animowany” jest większy niż wideo? Jak go zmniejszyć, nie psując widocznie?