The following link looks broken: https://github.com/math-comp/mcb/blob/c32cc2cada2c123d44b4f345f3812e3b199d478b/tex/chTypeInference.tex#L240 [Page 118](https://zenodo.org/record/3999478): `Chapter ??`.
