On Tue, Dec 15, 2020 at 2:48 AM R C <cjvijf at 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.