A nicer refresh icon for the EO-IDs.
Cumulative fixes: products and masks, robustness against unexpected download data types., and handle content-lenght header.