MenuBar.js: clean up unneeded cruft (code moved to SceneInstructions.js)