Just a head's up that the old problems with Proxy Errors and lost
login status on edits are happening again after no complaints for a
couple of years. Also, at least last weekend, I noticed that cache
flushing didn't happen for some of the pages I edited.
https://bugzilla.wikimedia.org/show_bug.cgi?id=19587