Thanks for sharing this. Too bad it wasn't noticed earlier. We discussed high numbers last month already on Twitter but didn't bring them here immediately, we should have questioned the numbers first by posting them on this mailing-list for consideration.
Do you confirm that this was only affecting the installer number (and not the plain packages)?
If so, it's still ~4 million downloads of this release, and that is still superior (by ~25%, not 100%) to last year's release; so it's still good news ;)