BTW, does anyone here knows what slightly serifed font Red Hat used for their terminal when they introduced the Bluecurve visuals?

There are days I want my terminals with a slightly warmer font than a sans-serif one.