DownloadFromMSSymbolServer is a better name