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.
