On Sat, Jul 23, 2011 at 4:41 AM, Ben Cooksley wrote: > @Matthias: please explain how this doesn't solve the issue. It certainly solves the immediate symptom of 'two things in the menu are named the same'.