[crux-commits] ports/core (3.1): man-pages: updated to 3.80