Comment by xipix

A proportional font really helps ergonomics too.