Simply replacing menu.js to update your navigation is also a problem because of browser caching. Visitors returning to your site may reuse a cached copy of menu.js and will not see your menu changes.

Paul Cormier