We are done for Tumbleweed, it seems. Everything seems to run smoothly, nobody complains. For other distributions, we can open new bugs, if desirable.