Thinking of introducing a mode line with proportional fonts into Emacs (2021) | Hacker News Reader