experiment: 2025-08-custom-emojis-in-push-notifications-ios (user)

Discord datamining experiment added: 2025-08-custom-emojis-in-push-notifications-ios.