docs: update REPL namespace documentation #18202

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

Provide feedback