640x480 produces huge gifs (20+MB for 10s) since dithering is not yet implemented. You can use any online gif optimiser, though.