If I post a reply to a comment and that comment gets deleted, I'd often want to delete my comment as it often doesn't make sense or is redundant.
In the interest of removing more of these comments, is it worth being notified when a comment belonging to someone you replied to is deleted? Maybe just for manual @notifies, or maybe for automatic ones too (leaning towards only manual).