>As a text editor user, I prefer selecting the font and the syntax highlighting independently. This font is not useful for me.

Then it's not for you. This comment does not add anything to the conversation and comments like these are better left unwritten.