Notifications infrastructure for developers.