Fixed the infamous `%E` scope bug #5043

Job	Run time
rocq-elpi	47s
rocq-core	1m 12s
stdlib	1m 15s
coq-elpi	1m 18s
coq	1m 6s
hierarchy-builder	1m 32s
mathcomp-bigenough	50s
mathcomp-finmap	51s
mathcomp	1m 3s
mathcomp-classical	1m 10s
mathcomp-analysis-single	13m 26s
mathcomp-reals	48s
mathcomp-experimental-reals	49s
mathcomp-reals-stdlib	59s
mathcomp-analysis	10m 15s
mathcomp-analysis-stdlib	-1s
	37m 20s

Provide feedback