Comment by jmprspret

Wait what? Do you seriously need bold fonts in your terminal? I find them annoying. I would much prefer a single weight.