December 15, 2012 at 9:59 pm #21070
OK, great– thanks! I’ll mark this one as the “featured” installer. :D
As for the version number, it probably should have been updated, but was not since (IIRC) only the “extra” extensions and the installer itself were updated.