Re: [CentOS-devel] CentOS 8 Live ISO?