Cleanup #4301

Job	Run time
coq	2m 40s
rocq-elpi	2m 52s
rocq-core	2m 8s
coq-elpi	3m 57s
mathcomp-bigenough	2m 18s
mathcomp-finmap	2m 32s
stdlib	3m 46s
hierarchy-builder	48s
mathcomp-analysis-single	27m 16s
mathcomp	12m 52s
mathcomp-classical	9m 24s
mathcomp-reals	2m 40s
mathcomp-experimental-reals	1m 57s
mathcomp-reals-stdlib	1m 49s
	1h 16m 59s

Provide feedback