experiment: push notification user feedback survey (user)

Discord datamining experiment added: push notification user feedback survey.