4 ms·The old GitHub font, a Chrome extension3 points by guava 10y agofontastique 10y agoWe must petition github to make their new font even wider!