In reply to Freefalling.

"I was trying to edit my comment, which doesn’t seem to be doable — or at least I have failed to do it."

For future reference FF, roll your mouse over the lower right corner of the comment you want to edit within a few minutes of posting it (WP has a time limit for that, but I can't remember how much time it's set for; ten or maybe fifteen minutes, I believe it is), and you should see a little gear-looking icon there. Click on that, and a tiny window saying "Edit" should pop up. Click that and you should be off and running.