There's no File > Export?!
"Export" means "save this working file in one of many formats, including possibly other formats that are first-class in third-party apps but not this app"
you try to justify it in a logical way, but you fail to realize that this is inherently subjective