[parsing] Warn about another recovery mechanism#20870

coqbot-app[bot] merged 1 commit into

rocq-prover:masterrocq-prover/rocq:masterfrom

proux01:forgotten-recoveryproux01/rocq:forgotten-recoveryCopy head branch name to clipboard