Come si attivano o disattivano le notifiche push?

iOS: è possibile modificare le notifiche push nelle proprie impostazioni del profilo.

Android: è possibile attivare o disattivare l'invio di notifiche push tramite il relativo pulsante nelle proprie impostazioni del profilo.