Jeff Dean even posted on G+ about how he essentially independently invented a variant of pagerank at DEC, but his supposed collaborator couldn't figure out how to open a tar archive, and that was the proximate cause of his leaving DEC.