3 ms·If it's not very different from DejaVu Sans mono, why not use the latter itself in the first place?by anantzoid 11y agoIf it's not very different from DejaVu Sans mono, why not use the latter itself in the first place?