I really hope HN archives don't turn into a wasteland of [deleted] tags like reddit. When HN deletes a user manually, how does it handle deleting comments with

I really hope HN archives don't turn into a wasteland of [deleted] tags like reddit. When HN deletes a user manually, how does it handle deleting comments with replies? Does it just mark the user as [deleted] and leave the content?