Checking WPIDE – File Manager & Code Editor Premium v3.4.1 for safety…
If you don’t want to wait, just click Retry Download