Delete users?

Bakery doesn't really handle user deletion at all. This means that if a user is deleted on a slave site, that user will (probably) be resynced next time the user logs in. And if a user is deleted on the master site, the account stays at all slave sites.

My thought is that bakery should at least handle this in a hook_user_delete() implementation on master, and send the operation to all slaves just like for user edits.

Would the maintainers be interested in patches for this, or should I pursue my solution in an addon hack?