20 great years of Linux and supercomputers