The update made it well into Tumbleweed and fixed the problem for me. Thanks to everybody involved! What a great turnaround time.