> Unimportantly, it's named after Larry Page, not after the fact that it ranks pages.

I've always taken it as a happy double play since it is named after Page, but also ranks pages.