I think they generally should; the 5th bullet point
here implies they should be deleted, and they're generally put into the review queue (I assume by a bot) anyway. It makes sense to keep the useful information in them by making it a comment. I usually haven't actually flagged (figuring a moderator would likely see them anyway when they were voted for deletion) but it's probably better to do so.