Interestingly..., looking at the !gnusocial commit logs and online conversation, it looks like @mmn actually did make notice-deletes propaga[…]