ide_infrastructure.md: clarify "Error Reporting" w/r to 3rd party plugins
ide_infrastructure.md: clarify "Error Reporting" w/r to 3rd party plugins

JetBrains/intellij-sdk-docs,JetBrains/intellij-sdk-docs,JetBrains/intellij-sdk-docs