Deleting a user does not clear out ofUserFlag. Will try to figure out a proper way to patch this.
removing blocker as I haven't generated a patch in time
adjusting ticket priorities and assignment
Peter Johnson submitted a patch for this issue by mail. I have attached it to this issue.
I've submitted the patch (which looked pretty straightforward). Daryl, would you mind giving it a once-over, just to be sure?
Looks good to me!