Fixed the infamous `%E` scope bug #5046

Job	Run time
rocq-core	53s
rocq-elpi	50s
coq	52s
coq-elpi	50s
stdlib	49s
hierarchy-builder	55s
mathcomp-finmap	57s
mathcomp-bigenough	52s
mathcomp	1m 34s
mathcomp-analysis-single	8m 29s
mathcomp-classical	54s
mathcomp-reals	49s
mathcomp-analysis	6m 33s
mathcomp-reals-stdlib	58s
mathcomp-experimental-reals	1m 37s
mathcomp-analysis-stdlib	0s
	27m 52s

Provide feedback