Anyone else find the font, especially the bold, grating? I don't think it's just the rendering but also the size and actual font (feels so big and cluttered in that merge request page).