IRC Channel for quicker discussion

[superlenard]

Please, set up an IRC Channel for AIDE (Just a suggestion, Discourse in great by the way)

[trixi]

We will discuss, thank you.