man-pages: update to 3.72.