Rename PushRegistrationManager to PushManager.