On Tue, Oct 6, 2015 at 9:39 AM, Dirk Hohndel <dirk at hohndel.org> wrote: > > Gorgeous, isn't it? Can we please make that font the default on Linux too? Linus