2009/6/23 Karl Berry <karl at freefriends.org>: > > > Sadly that file is not a libre font, so I zilched it. > > It seems like it would less confusing to delete it completely than to > leave behind a useless zero-length file. Done!