man: updated knotc's man