We are exhorted not to comment on the voting in general: https://news.ycombinator.com/newsguidelines.html - of course, if you're urged not to comment on the voting, would commenting on commenting on the voting be any better? Possibly not.

But, too late: my delete rights have expired. We're stuck with my comment forever now. May this be a lesson to everybody involved.