Comment by phaemon

It might be worthy of mention that when it comes to operating systems, the last two Unix systems have dropped out of the Top500 and so it is now 100% Linux.