php-horde-Horde-Notification: optional dep.