Stop relying on canonical names in Native conversion.#21889

ppedrot wants to merge 1 commit intorocq-prover:masterrocq-prover/rocq:masterfrom

ppedrot:rm-canord-native-convppedrot/coq:rm-canord-native-convCopy head branch name to clipboard