Частично да. Не для разработчика, а в общем случае для проектной команды в которую может как один разраб входить, так и команда или опенсорсное коммьюнити работающее над проектом
Тогда исходя из этого определения мы, будучи сторонними наблюдателями, не можем утверждать что что-то является или не является иде, не зная весь тех процесс команды в которую входит утверждающий
В целом да, кроме одного утверждения, что не бывает цикла разработки для которого одного редактора достаточно в том плане, что кроме написания текста, ничего не входит
Я резюмирую - не надо сетовать что кто-то не понимает разницы между ide и редактором, во первых это совершенно не очевидная а во вторых очень субьективная разница