> Programming fonts are stuck in the past. Proportional typesetting is everywhere and
> there is no reason why you can’t use it for code.