gnome-panel, gnome-menus : correction des URL