True. Only 8 billion people qualify.
I'm also grateful that his Hurd kernel never made it into production, thus giving Torvalds the impetus to do the Linux kernel. I don't get into arguments about monolithic kernels (e.g. Linux) vs. microkernels (e.g. Hurd). Rather, I suspect the Hurd kernel would have been a disaster had it made it to real production, given the lack of authoritative technical oversight that is endemic to the GNU world. Wikipedia offers this interesting insight:
According to Thomas Bushnell, the initial Hurd architect, their early plan was to adapt the 4.4BSD-Lite kernel and, in hindsight, "It is now perfectly obvious to me that this would have succeeded splendidly and the world would be a very different place today".
Oh well. Ya pays yer money and ya takes yer choice.