This seems to be fixed by some other issue now.