This is due to https://github.com/rocq-prover/rocq/issues/20422, as discussed in !604 (comment 111182).