менять необязательно, у меня вебстрём и ничего не жалуюсь, все отлично. к тому же в его краях выбора нет.
просто тариф в 10 гб это жесть!