php-horde-Horde-Perms: cleanups