It appears that the problem is now fixed.