First Red Hat AI mascot (REDHAT AI)