hint where to get the plugins for IDE and editorconfig support