Updates to the push manager for tracking push subscriptions and the push receiver interface for app-specific notification handling.