Changes to @CoqExtraction/Letouzey/2/2.1