Fixed the infamous `%E` scope bug #5040

Job	Run time
rocq-core	2m 7s
rocq-elpi	2m 53s
coq-elpi	54s
stdlib	5m 16s
coq	1m 10s
hierarchy-builder	1m 38s
mathcomp-finmap	2m 48s
mathcomp-bigenough	2m 53s
mathcomp	14m 6s
mathcomp-classical	7m 21s
mathcomp-analysis-single	19m 1s
mathcomp-reals	4m 19s
mathcomp-experimental-reals	4m 59s
mathcomp-analysis	12m 15s
mathcomp-reals-stdlib	3m 33s
mathcomp-analysis-stdlib	0s
	1h 25m 13s

Provide feedback