Push notification manager design diagrams