The case for proportional fonts in coding | Dark Hacker News