5 ms·Aren't these CLI tools? How do they get to pick the font?by dboreham 25d agoAren't these CLI tools? How do they get to pick the font?