The case for proportional fonts in coding | Hacker News Reader