Fixed the infamous `%E` scope bug #5044

Job	Run time
rocq-elpi	57s
rocq-core	2m 3s
stdlib	47s
coq-elpi	48s
coq	50s
hierarchy-builder	47s
mathcomp-finmap	59s
mathcomp-bigenough	1m 3s
mathcomp	56s
mathcomp-classical	3m 2s
mathcomp-analysis-single	6m 2s
mathcomp-reals	2m 5s
mathcomp-analysis	6m 27s
mathcomp-experimental-reals	1m 59s
mathcomp-reals-stdlib	1m 34s
mathcomp-analysis-stdlib	0s
	30m 19s

Provide feedback