Unrelatedly, I wonder why I don't see the downvote arrows on comments any more.