Push notification refactor

Mention objects are deleted when comments are.