Suppress solution notification if user is muted

This change was merged recently which should solve it:

4 Likes