Direct comparison of animated .gifs from same set of frames

.ppm --(pnmtogif)--> .gif --(gifsicle, many)--> animated .gif
.ppm --(pnmtopng)--> .png --(gstreamer, multifilesink)--> .ogg --(gifenc.sh)--> animated .gif
smoother, nicer result