Batch is a web-push notifications technology provider.