The download button provides formats epub (aka epub-3), pdf (aka pdf-a5) and mobi (aka mobi) and the sidebar formats epub-3, pdf-a4 and mobi.
It would be nice to harmonize the two set of values, maybe to epub, pdf and mobi allowing WS export server to switch the default option easily.