いつのまにやら CentOS 8.2 minimal iso ができている。ありがたや、ありがたや。