Would there be interest in packaging this up for Fedora? The licence of the font appears to allow redistribution (it looks a bit like a simple BSD or MIT licence to me). This font (among others) is here: http://proggyfonts.com/ -- Bojan