Deleting comments in the Update stream

[#1]

Hello,

Currently if a comment is deleted on a Proof, it is not deleted from the Update Stream, which is causing confusion for some users. This functionality was a available previously. It would great if it would come back.

thanks

Jennifer