intellij-plugin/Edu-Shell/resources/Edu-Shell.xml

<idea-plugin>
  <dependencies>
    <plugin id="com.jetbrains.sh"/>
  </dependencies>

  <extensions defaultExtensionNs="com.intellij">
    <editorNotificationProvider implementation="com.jetbrains.edu.shell.ShellWslExistenceNotificationProvider"/>
  </extensions>
</idea-plugin>