Comment by david_shaw

Every time I see a cool new font like this, I want to switch to it.

But, almost always, I end up switching back to DejaVu Sans Mono for just about everything monospaced.