Are there any plans for an official Ubuntu fix for this problem? (Or will the forum and IRC channel have to face "How do I edit my menus?" every day for the next seven months?) -- WW