*Yawns*.
Jack Donagarra’s site of the top 500 supercomputers has been around for decades.
That doesn’t mean there are only 500 supercomputers.
Well, as I pointed out, Wkipedo references the top 500 that run on Linux, not the top 500 in the world.
I would bet there is still one out there running on a Digital Electronics Corp kernel.