My WordPress mirror site stopped updating on August 12. It's now updating once again. I'll try to watch it more carefully.