names reports an exported but nonexistent/undefined name as defined

[nsajko]

julia> module M
         export n
       end
Main.M

julia> names(M)
2-element Vector{Symbol}:
 :M
 :n

julia> M.n
ERROR: UndefVarError: `n` not defined
Stacktrace:
 [1] getproperty(x::Module, f::Symbol)
   @ Base ./Base.jl:31
 [2] top-level scope
   @ REPL[2]:1

julia> versioninfo()
Julia Version 1.11.0-DEV.595
Commit b790cf8f0c5 (2023-10-03 20:35 UTC)
Build Info:
  Official https://julialang.org/ release
Platform Info:
  OS: Linux (x86_64-linux-gnu)
  CPU: 8 × AMD Ryzen 3 5300U with Radeon Graphics
  WORD_SIZE: 64
  LLVM: libLLVM-15.0.7 (ORCJIT, znver2)
  Threads: 1 on 8 virtual cores

[vtjnash]

Being exported and being defined are 2 different, unrelated aspects

[LilithHafner]

Explicit documentation added in #51593