“red hat gnome”