A lightweight push notification server for websites.