Yes, I had the same question, I mean how stupid, isn't infinity just infinity, the farthest distance into the future that you can possibly focus on, apparently not. So, Why are you even allowed to wind 2mm beyond the infinity symbol?
The logical answer is that if you can wind the lens beyond the infinity symbol, there has to be a reason why. So, what is it?
I discovered one evening at Hanmer Springs while shooting star shots on a clear night that my carefully set to infinity symbol lens on my Lumix was giving me off focus shots, slightly blury. i tried different shutter speeds, apertures, ISO settings but it made no difference till I wound the lense beyond infinity. Then everything changed. Shots became bright and sharp.
My conclusion was that there are two kinds of infinity, 1: The one that is reserved for our planet, is far as the eye can see, set on the infinity symbol, and 2: the one that searches the stars. set to fully wound left to a hard stop, it's not hard to appreciate that there is a million klms difference. I recommend you try the difference and see what you discover. My settings were fully open lens, iso 6400, shutter 60 seconds, 12mm lens, and 16-35mm lens. but you need to try different options here, for example, increase the depth of field on a smaller aperture, say F8 and increase shutter speed length to compensate,, take lots of shots and record each one, so you know what works for your camera and lens.