[eric-hu]

I'm unfamiliar with Google's indexing algorithm, but it's also possible that the rank of the top pages has shuffled between when Linus googled it and now.