php-horde-ingo: cleanups