php-horde-Horde-History: cleanups