Exporting files from Audacity 2.2.0

In Audacity 2.2.0 (only), the ‘Export’ commands for exporting audio files, labels and Export Multiple, is in the File menu:
File > Save Other > …