various easy issues #4833

Job	Run time
rocq-elpi	55s
rocq-core	58s
coq	54s
stdlib	56s
coq-elpi	57s
mathcomp-bigenough	1m 5s
mathcomp-finmap	1m 5s
hierarchy-builder	1m 1s
mathcomp-classical	56s
mathcomp	57s
mathcomp-analysis-single	56s
mathcomp-reals	59s
mathcomp-analysis	14m 36s
mathcomp-reals-stdlib	1m 9s
mathcomp-experimental-reals	58s
mathcomp-analysis-stdlib	15m 27s
	43m 49s

Provide feedback