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.