Andreas Enge Sun, 27 Aug 2023 01:53:07 -0700
Closing the bug, as the immediate problem appears to be solved, and handling of transient network failures is discussed in other issues.
Thanks for your report, Andreas