If it’s important enough, post it, but please keep it separate from the main discussion.
The CR needs an “ignore” list option.
Please elaborate on that.
A technical feature in the CR where any user can create a list of users he doesn’t want to see the comments of.
That would make threads confusing.
It would be an optional feature any user could choose to utilize or not.