But do devs know a which IDE is better? That seems to be a rather important question here.

It's not 'the' most important question.