Hm, it looks like Diaspora "ignore" doesn't actually apply to comments from a user, just their posts.
Seems like the sort of thing that would have been ironed out early on.
@craigmaloney It would have, had it been used at a scale at which that sort of thing becomes a problem.
Even Mastodon messes this up: If I mute some muppet, I still see their posts when someone re-toots them, and I see other people engaging with them on threads they started. What does mute mean then, as distinct from just unfollowing? Diaspora's failure to mute may arise from a similar philosophy of "Ah, but surely you still want to see their opinions, right?"