GIF vs. <video> on homepage for WinXP, since it's likely older-spec hardware.