lean code block and `variable` command

Code block ```lean ... ``` and inline {lean}`...` does not see identifiers introduced by variable command.

For inline code, I'm suspecting that Elab.Term.elabTerm stx none is missing some version of runTermElabM.
I'm expecting that this should work

      discard <| Lean.Elab.Command.runTermElabM (fun _ => Elab.Term.elabTerm stx none)

but there is no lift from CommandElabM to DocElabM

mwe where import DemoTextbook.Exts.Exercises should probably be replaces with import Manual.Meta:

import Verso.Genre.Manual
import DemoTextbook.Exts.Exercises
open Verso.Genre Manual

open DemoTextbook.Exts (lean)

variable (X : Type)

#doc (Manual) "Test" =>

Array {lean}`Array X`

```lean
#check X
```

Start with the MWE in the issue and inspect Manual/Meta.lean, especially Elab.Term.elabTerm and the surrounding DocElabM handling. Compare the inline and ```lean code-block paths with Lean.Elab.Command.runTermElabM. Done means both forms can resolve identifiers introduced by variable, including X in the example.