Coming from #2927. We should add the information about the IntelliJ and Eclipse plugins to the documentation