I've founded (actually Bill, the current menu mantainer has founded :) a way to update users' menus without touch users' homes. A script in /usr/lib/menu/ with user check. if run by root do nothing, if run by user work as usual. I'll commit changes ASAP if noone diagree (I do not think so) cheers, cosimo.