Notes on how we extended Ejabberd