Major fixes, new buttons.

For the future: on comment-view, “post number” should be name of the
post, not just number.