Red Hat Enterprise Linux (RHEL) 7.8 is out