Actually, for this part I was referring to the Downloads section of the Support webpage, not in MySteinberg.
HALion 5 and HSO don’t show up in MySteinberg for me. Only Cubase shows up there currently.
I assumed it was because the HALion 5 installer and HSO installers are available in the Support Downloads was why they don’t appear in MySteinberg.
I guess either way, the new owner could download from the Support Downloads page OR install eLCC, create a MySteinberg account, register the dongle and licenses, and then download.