Specification for Palaver's IRC Extension providing push notifications.