Is this working though? I turned that setting on a week or more ago and I've never received a notification despite getting comment replies. I thought maybe I just didn't know what notifications look like, but I got one when someone mentioned my username.