These are not actual "push" notifications, they are desktop notifications. Different functionality, and no service workers.