All hail the glorious Debbie on her birthday. May Debbie have mercy on our mortal souls
I would suggest adding a mentions plugin.
It would help the user to know that they were mentioned in some thread.
A PM would be sent to that user, stating the same
If I could install plugins with this host