Uncomment (and update) menu item for TabSwitch.js (v. 3.7+)