There's no "Export"?

Some of the agencies don't accept HTML5 format. My client's question: "When you output banners, are you able to output to a format other than HTML5?"

But I HAVE NO IDEA because in the file menu my only options are "Save as" (html) or "Publish". I don't see an "Export"?

Using Edge Animate CC 2015 via the cloud subscription.

Thanks