Once again (this time in the thread titled "What is the state of our ignorance about the normality of pi?") I cannot delete a comment. There was a typo in some TeX code, which one cannot preview. I posted again without the typo. Usually one can delete one's comments; sometimes one cannot.

You can always get around this problem in the way that I described last time this happened.

I don't have a real computer handy, but in Google Chrome (a web browser), under one of the menus you'll find Developer Tools, and somewhere in there you'll find you can directly manipulate the current webpage, for example simply deleting individual components.

It does require some familiarity with how web pages work: if you've never written any HTML I wouldn't bother trying. I only intended to be slightly snarky above. Sorry if it was too much! Obviously in the long term it would be nice to fix this.