Comment by Finnucane

Given how many choices there are for monospace/coding fonts, it seems hardly worth making a fuss over. Use it if you like it, use something else if you don't.