PushNotification now derives Eq and Hash.