Push Notifications: Use Broadcast Channels and forget about device tokens | Hacker News Reader