So far the repos were not tagged for MW 1.23. Thus it is not possible to select the "recommended version" for this release when using "Special:ExtensionDistributor". Not sure if there is something in the water.
Topic on Project:Village Pump
Ah, apparently there is indeed something in the water. Thanks for providing the links to Bugzilla.