Thanks. I did consider solution 2, but I'll probably hold off to see if this is fixed. Yes, it does appear to be the dwarves from 15.4, though it shows up in the 15.5 main repo. I don't have any 15.4 repos configured on that system.