I am not managing to find anything additional about flushing the menu cache. Yes, if you can update the desktop, I'll reinstall tomorrow after the mirrors have a chance to refresh. Thanks, and sorry for the misstep! -- bennet