I just got this:
And while I’m sad the user muted his own topic I’m thrilled to have been notified.
Such a rollercoaster of emotions!
And thanks for the great functionality!