Huh. OK, I can edit this comment's parent comment ("Ah, thanks!...") but not my original comment. Is there something going on whereby comments older than a certain number of hours can't be edited?