Anonymize should be the first port of call.
If the user is nice about it, and deleting them won’t leave massive holes in lots of discussions, I tend to honor “but anonymizing isn’t enough, I need delete” requests if they are made in a reasonable way… versus, say, ragequitting.