It's an animated gif, weighing in at 4MB, which is already massive, do if they doubled the resolution that would be very large for a very subtle visual difference for that particular graphic. The file name includes 1x, so I believe it's intentional for performance reasons.