The problem has disappeared in Tumbleweed 020905 (or maybe a day or two earlier but no more than that)