I think menu editors (Kde's got one, and there are some gnome menu editors already available) should have the option to "hide" menu items, wouldn't it be much easier that way? -- Julius