There's another one that could be added to the OP's site. The internet decided to call it Linux and not GNU/Linux.