https.globalAgent exists on default export but not on module namespace

[jcbhmr]

jcbhmr@PIG-2016:~$ deno
Deno 1.38.0
exit using ctrl+d, ctrl+c, or close()
REPL is running with all permissions allowed.
To specify permissions, run `deno repl` with allow flags.
> let m = await import("node:https")
undefined
> Object.keys(m)
[ "Agent", "Server", "createServer", "default", "get", "request" ]
> Object.keys(m.default)
[ "Agent", "Server", "createServer", "get", "globalAgent", "request" ]
> m.globalAgent
undefined
>

jcbhmr@PIG-2016:~$ node
Welcome to Node.js v20.8.0.
Type ".help" for more information.
> let m = await import("node:https")
undefined
> Object.keys(m)
[
  'Agent',
  'Server',
  'createServer',
  'default',
  'get',
  'globalAgent',
  'request'
]
> Object.keys(m.default)
[ 'Agent', 'globalAgent', 'Server', 'createServer', 'get', 'request' ]
>

Node.js https module namespace has: Agent, Server, createServer, get, globalAgent, request
Deno https module namespace has   : Agent, Server, createServer, get,              request
Node.js https default export has  : Agent, Server, createServer, get, globalAgent, request
Deno https default export has     : Agent, Server, createServer, get, globalAgent, request

in summary: pls export the globalAgent on the main module namespace thx

[jcbhmr]

related to #18312