Release process: fetch the ISO from Jenkins and ensure it matches the signature created by the release manager (refs: #12629).