docs: update REPL namespace documentation #18329

Job	Run time
Update copyright header years	0s
Check for required files	0s
Merge changes from develop branch into this PR	0s
Remove in-progress label	0s
Rebase this PR on top of develop branch	0s
Manage labels	-9s
Auto-fix lint errors	-9s
	-18s

Provide feedback