Fixed the infamous `%E` scope bug #5039

Job	Run time
rocq-elpi	3m 48s
rocq-core	2m 18s
coq-elpi	3m 1s
stdlib	5m 27s
coq	3m 8s
hierarchy-builder	1m 38s
mathcomp-bigenough	2m 37s
mathcomp-finmap	2m 46s
mathcomp	14m 16s
mathcomp-classical	9m 0s
mathcomp-analysis-single	21m 25s
mathcomp-reals	4m 34s
mathcomp-analysis	10m 51s
mathcomp-experimental-reals	2m 15s
mathcomp-reals-stdlib	1m 1s
mathcomp-analysis-stdlib	0s
	1h 28m 5s

Provide feedback