bug#57071: Close

[Andreas Enge]

I am closing this as probably not relevant anymore; otherwise please
open a new issue on codeberg.

Andreas