On 02.05.21 00:11, Karl Berry wrote: > If there's some kind of confirmation, or after a while, I'll push it out > to the live repository. --thanks, karl. I am now back on the default https repository, and everything seems to work fine. Thanks for the fix! -- Robert