When PR #873 switched the logo from an SVG file to an animated GIF, the logo became low quality, pixelated: 
The SVG was also about ~2% the file size, 13kb versus over 800kb, an issue noted #875
SVGs can scale to any resolution without quality loss, and are highly efficient.
The GIF is at a fixed and low resolution, causing the quality issue.
A proposed solution is #877