It would be very cool if VLC could make animated gifs out of video.
Ideally, it could have options for length, frame-rate, and resize/bit-depth... or just make it full quality, full frame-rate as long as you hold the button down and let people edit the gif afterwards.