I find that there is a new XMPP option inside the ISPConfig 3.1.2 control panel; and there are many choices of XMPP servers. So which one XMPP server does ISPConfig 3.1.2 support? I am very interested in setting up one. Also does ISPConfig 3.1.2 still support Monit? I am going to build a new ISPConfig 3.1.2 on Ubuntu 16.04.