[Zope-dev] Deleting a role doesn't remove associated permissions

Yikes! Delete a role, and the permissions grants to users who are in that role remain. But the role or the permissions are no longer displayed, so the fact that someone has permission for a resource is hidden!