That's weird, likely unrelated eg peering unstuck after a bit and worked later Anyway, happy it works for you, thanks for the mirror reminder, I will try to prioritize this in the next months