It seems to be fixed now. It would be fascinating to read an analysis of what exactly leads to the bug.