<!-- menu.js is now empty -->
