Comment # 5 on bug 1223210 from Ferdinand Thiessen

Checked with todays version of Tumbleweed (2024-05-06) and it still fails with
the same error.