If one has the mbed-cli installed on a local system an alternative is to import the project into your local system instead of exporting it from the MBED web ide.
set your working directory to the location where you want the project on your local system and issue the following command
mbed import <web project-url> where web-project-url is the url found in the upper right corner of the web page when the project is opened in your online MBED ide,
This technique has worked for me in many cases when export failed
Download of course is much slower than with a zip export
Same here. No mbed_config.h file.
steps
Now I found this issue is fixed. Thank you.