CamlinternalMenhirLib.InspectionTableFormat(3o) on Linux

The text 97ab2a2a13e0, as Debian 12 (Bookworm) shipped it.

no description

CamlinternalMenhirLib.InspectionTableFormat(3o) on Linux now