Just one hour ago that page pointed to the firmware version 4.40. I didn't check the version number in the firmware, but the version number in GCD headers was 4.40.
Now it points to the firmware with 4.80 everywhere except GCD file name.