Restoring a cloud backup

As shown here, a cloud backup file can be downloaded in two different forms. The downloaded backup is either an encrypted (EDIST) file which must be decrypted (using Workbench) prior to installing it, or a decrypted (DIST) file which has been decrypted during the download process.
Image