I was editing a wiki page, and the UI started telling me that someone else had edited the page and that I should refresh (refreshing resulted in the same messag

I was editing a wiki page, and the UI started telling me that someone else had edited the page and that I should refresh (refreshing resulted in the same message in short order). I'm the only maintainer!