*preference: web provider is now a combo
*fetchrom.sh: set some download timeout