The text 6ce3ce244c18, as Debian 11 (Bullseye) shipped it.
no description
CamlinternalMenhirLib.TableFormat.TABLES(3o) on Linux now
