However, I do not understand how does user specific notifications get pushed. Thread above does not discuss any user specific configuration.
Please provide some details. I have been struggling to understand this.
I am trying to get user specific push notifications working.