Oh, wow. I really like it. I just switched my terminal to use it, and will how it goes.

I think I would prefer it to be just a tiny, tiny bit shorter. But maybe it’s just a bias after using Source Code Pro for so long, which is somewhat more of a square font (width/height larger).