It seems WordPress editor sometimes uses https and sometimes only http links for media files. If you had issues downloading examples using Chrome or Edge please try again.