Code Editor : diagnostics_channel.md