php-horde-Horde-Editor: new package