So, this morning, I re-added the user, S/R-ed, then deleted them and S/R-ed again.
Now the registry is not telling me he’s a member of a project.* I click Delete, a dialog comes up, I type the reason for the deletion, and click the dialog’s Delete button. But nothing happens. I refresh the page, and I’m still logged in.
So, does the delete procedure actually work???
`* I had logged the user out. When I logged back in again, it still showed them as a member of the previous project; then I clicked to refresh the webpage, and now they weren’t a member!! The Registry seems flaky in that refreshing pages sometimes shows changed information – I saw it one on my own page: it was switching between telling me I was a member of one project, and a member of17!