Corrected. I’ve thought about adding a plugin to allow commenters to edit their comments (I used to have that), but I’m afraid I’m already pushing against the upper limit of what I can have without affecting site performance. (The ability to subscribe to comment threads is done by plugin, too, and I think that’s a little more important.)