The fix is fairly simple: expose the seed export option within the Key Info of the hot key, even if the hot wallet has been deleted (and user hasn’t viewed the seed yet).