This used to also be the case for `coq.env.current-path`, but we fixed it in https://github.com/LPCIC/coq-elpi/pull/605. There is no available Coq API that would let us correctly implement `coq.env.current-section-path` at interp it seems (see [here](https://coq.zulipchat.com/#narrow/stream/237656-Coq-devs-.26-plugin-devs/topic/Synterp.2FInterp.20and.20.60Lib.2Ecurrent_mp.60/near/423832647)). CC @Janno.
