Well, who knows what is true and what not. I never knew that Push Notifications go via Apple, and not via the network operator. Definitely wrong is GraphenOS’s claim that Android does not allow access to the device id. Of course it does. For what reason would the ID exist if it does not? No idea if you need it for a FB message/notification though.