I'm interested in the feedback you get around this as well. When we implemented WF, we were pretty strictly told that we should never delete users. After a quick search on the help site, I found this: