As per the installation steps mentioned on the documentation page, there seems to be a discrepancy between the snapshot and the RTOS file extensions in the user account (documentation says .img.xz while the file in portal has the extension .wic.xz).
Suggestion: please update the documentation to reflect the current formats visible in user account.
