man-pages: version bumped to 3.72.