[Zope-PAS] missing method in interfaces

[Miles]

Hi,

The interfaces definition from the plugins directory defines:

IRoleAssignerPlugin
     def doAssignRoleToPrincipal( principal_id, role ):

However, it doesn't document any way to remove a role from a principal. 
  Should there be a doRemoveRoleFromPrincipal( principal_id ) method for 
this?

zodbrolemanager provides a removeRoleFromPrincipal method which does 
this, and could be wired up in the same way as doAssignRoleToPrincipal 
is currently.

Can I provide a patch to add it into the definition, and to zodbrolemanager?

Thanks,

Miles