Hand-optimized favicon SVG.
Hand-adjusted favicon bitmaps.

To my surprise, GIFs are smaller than (optimized) PNGs in this case.