ChatGPTにおすすめのエディターを聞いたらRubberduckを
勧められたんだが使っている人は多いのか？
ググってもあまりヒットしない。何がいいのか教えて