Investigate the user muc deletion
From the handle_change_notification in the mod_startinblox_muc_members_admin.lua file:
-- Remove the user from the muc
if notification.type == "deletion" then
user_role = "none";
end
We are not sure that this means that you can no longer ping the user. If that is not the case, then there is a bug. We also need to live test this deletion notification.
Ping @sylvain