Updated example files for OTA; make the filenames in and out of the .zip safe for various OS's. (Don't use reserved characters.)
The code can request multiple headends from the server.