When changing a document's shard key, mongos starts a transaction if the original update was sent as a retryable write. If this transaction fails, mongos reports to the user whatever error the shard reported. If the shard reports a stale error however, we should not report this to the user.