Acho que a versão F-Droid estava tentando uma conexão com o app de notificações de código aberto Push Notifications API. Só que, na época, eu não consegui fazer funcionar.

Agora que mudei para a versão da Play Store, não tem mais a opção.