Diff man-db-2.12.0 with a man-db-2.13.0

Thank you!