3 ms·Aren't these CLI tools? How do they get to pick the font?by dboreham 2mo agoAren't these CLI tools? How do they get to pick the font?