The release of iOS5 and the death of Jobs out of sight lost sight of one small update, which took place as a “recovery partition update”.
Now the OS recovery mode (installing a fresh Lion instead of what is now) has gained new functionality: it checks in AppSore that a user with this AppleID really bought Mac OS X 10.7.x. The funny thing is, what to buy, if it isn’t bought, will not work: if the AppStore works from under Leo, then it will be listed as “Installed”, and not as a possible thing to buy.