What happened to Export Selected Audio?

Audacity 3 Help Forum Windows
3

It got moved into File > Export Audio together with the other options

image