Can't figure out how to export files...

We are working on a game, and I am attempting to cut a short clip of children laughing as an attempt to make something creepy.
However, Export doesn’t even appear under Import, or anywhere on the “File” box.

I’ve tried selecting the clip, stopping it and not pausing it, etc. But I can’t figure it out. Export isn’t even there.

Thanks for any help.

Which version of Audacity? (look in: Help menu > About Audacity)

Sorry about that. It’s Audacity 2.2.0.

In Audacity 2.2.0: “File menu > Save Other” (http://manual.audacityteam.org/man/file_menu.html)

Oh man, am I dumb…
Thank you, steve.