I was gonna fix a typo in a comment, but the “edit comment” buttons have disappeared. I wonder why.