Hi all,
I incidentally discovered today that, since quite recently, there's a Red Hat font [1]. And this led me to think about the popularity of the Ubuntu font, you know, and how nice would be to have a nice catchy official Fedora font integrated into the distro... I'm just thinking aloud, because I don't know anything about font design. But maybe someone picks up the gauntlet... ;-)
[1] https://github.com/RedHatOfficial/RedHatFont
Cheers, Iñaki