Exports the current document in one of the available formats shown below, and saves it to a file on the disk: