The doc on <UpdateServers> is a bit sparse... i.e.: what info is needed on an updateserver, file-format etc.? Significance of "extension" vs. "collection"?