I would like to use menu.php from the pear package (pear/html/menu.php) But I am in trouble with the include, because Horde already uses a file menu.php maybe, we could move the file menu.php to another place, or to have in conf.php a variable to specify where is located pear?