Dear everybody group! You have been engaged in ACL change(s) initiated by Vitaly Kuznetsov: pandoc: "vitty @everybody" -> "vitty @everybody mithraen" -- Rgrds, your Girar ACL robot