On Tue, Dec 15, 2020 at 2:48 AM R C cjvijf@gmail.com wrote:
'Rocky Linux' guy might actually be on to something (although I'd pick another distro name)
The name comes from his CentOS co-founder Rocky McGaugh, who is no longer with us, in his memory.