I have installed a new feature which is supposed to allow us all to edit comments for 5 minutes after they are published, the idea being that one can refresh the page to see if someone else said pretty much the same thing whole one was composing one’s own comment. Then one can alter one’s comment to say something else friendly, amusing or perspicacious instead of repeating a point that’s already been made. If it matters (it won’t always).
Please, everyone – just post a short comment below and then see if you can edit it to add something and have it update properly. I just want to check that this is working for everyone, not just for admins.