Ironically, of the laptop schematics I have collected, none of them seem to have been created in Altium either; they appear to be a mix of Cadence and Mentor, which are even more expensive than Altium.
But you have to admit, for those of us who use Altium already, this is a great resource!
Do they publish the results in an open format at lease?