Yes, Baloo - we've mismatched some actions this time, unfortunately - the modules usually have to go the Market just a short time before the version release, so that we can test a few sites that we update directly and check if installation from Market work well. Then we push the auto-update. What I mean it that RC10 package is ready and in GitHub now, but not pushed to Market.